硬件电路的属性说明语言

• Property Specification Language of Hardware Circuit