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