计算机软件与理论专业优秀论文计算机软件与理论专业优秀论文 面向面向 IPIP 的的 PSLPSL 规范重用方法研究规范重用方法研究关键词：性质规范语言关键词：性质规范语言 IPIP 设计设计 语义重用语义重用 PSLPSL 规范组合规范组合 硬件设计硬件设计 嵌入式系统嵌入式系统摘要：近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点， 性质或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常 有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言， PSL 的许多特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注 意的是重用不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变 得非常混乱。 本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保 证 PSL 规范的正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设； 在中间一层，给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的 组合语义来组织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。正文内容正文内容近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点， 性质或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常 有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言， PSL 的许多特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注 意的是重用不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变 得非常混乱。 本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保 证 PSL 规范的正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设； 在中间一层，给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的 组合语义来组织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质规范语言标准后，编写可重用的 PSL 设计规范变得非常有价值。 性质规范语言(PSL)是一种描述电路和嵌入式系统的工业标准语言，PSL 的许多 特性潜在地支持在硬件设计过程中使用基于 IP 重用的方法。需要注意的是重用 不能被滥用，因为如果没有很好的组织，设计规范的层次结构会变得非常混乱。本文将讨论基于 IP 的 PSL 规范组合的方法，从三个层次来保证 PSL 规范的 正确性。在最低一层，提出了一套检查性质是否正确地被 assert 和 assume 引 导的规则，这些规则能够检查 PSL 性质是否被正确断言或是假设；在中间一层， 给出了基于 IP 规范组合的语义；在最上层，本文使用 IP 规范的组合语义来组 织验证单元的继承。 在上述工作的基础上，开发了基于 IP 的 PSL 规范重用 工具 iPSL，该工具能够让开发者将基于 IP 设计的方法应用于 PSL 规范设计之 中，在对已有 IP 进行重用的过程中使用户缩短开发的时间。 近十年来，IP 设计重用来已成为片上系统(SOC)开发领域所关注的重点，性质 或断言将被广泛采用在验证过程之中。PSL(Property Specification Language)被 确立为性质