查看会员资料
用 户 名：mave****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
[C.Eisner]A_Practical_Introduction_to_PSL
- PSL tutorials - PSL is a property specification language. It is a means to express properties of a design, and in addition to specify how verification tools should use those properties. For example, a property may be asserted – this specifies tha