原创力文档IEC62531：属性规范语言（PSL）用于数字电路
形式验证
掌握硬件基于断言的验证——从时序逻辑基础到高级形式验证方法学
IEC62531源自IEEEStd1850，定义了属性规范语言PSL，这是一种用于描述数字硬件设计属性的形
式化语言。PSL使工程师能够以精确、无歧义的方式表达复杂的时序行为和约束，这些属性和约束可
以通过动态仿真和形式验证工具进行验证。随着集成电路设计复杂度的指数级增长，传统的纯仿真
验证方法已不
您可能关注的文档
- IEC 62507-12010 标准解读：无歧义信息交换的标识系统——原理与方法+源标准.pdf
- IEC 62514 - 家庭多媒体网关：数字生活的架构与设计指南+源标准.pdf
- IEC 62516-3 - T-DMB接收机通用API：数字广播接收机软件标准化+源标准.pdf
- IEC 62520 - 轨道交通用直线感应电机：LIM标准与试验方法+源标准.pdf
- IEC 62522 - 可调谐激光光源校准：光学测试的精密计量标准+源标准.pdf
- IEC 62533：辐射防护仪器——用于放射性物质光子探测的高灵敏度手持式设备+源标准.pdf
- IEC 62534：辐射防护仪器——用于放射性物质中子探测的高灵敏度手持式设备+源标准.pdf
- IEC 62535：绝缘液体——检测使用过和未使用绝缘油中潜在腐蚀性硫的试验方法+源标准.pdf
- IEC 62537：基于IEC 60958的数字输入信号扬声器接口+源标准.pdf
- IEC 625062013 标准解读：产品加速试验方法+源标准.pdf
- IEC 625082010 标准解读：可信性中的人因工程指南+源标准.pdf
- IEC 625092010 标准解读：光伏系统用蓄电池充电控制器——性能与功能+源标准.pdf
- IEC 625122012 标准解读：家用电动洗衣干衣机性能测量方法+源标准.pdf
- IEC 625232010 — 辐射防护用中子环境剂量当量仪+源标准.pdf
- IEC 625242009 — 多媒体家庭网络系统主电子产品高级人机接口+源标准.pdf
文档评论（0）