论文部分内容阅读
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.
用PSL语言进行基于断言的验证方法
【摘 要】
：
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.
【机 构】
：
同济大学超大规模集成电路研究所
【出 处】
：
电子设计应用
【发表日期】
：
2005年12期
其他文献
本文介绍了LT3468/LT3468-1的性能特点和工作原理,重点分析了其关键电路参数的设计方法,给出了设计实例,并在实验基础上进一步提出了改进电路性能的方法.
如今，分销商越来越多地进驻设计领域，凭借其对所代理产品的详细了解，不断推出全面、实用的专业解决方案，并提供高质量的技术支持服务。Memec和Xilinx的合作关系已有近20年，作为Xil
目前，数据中心到家庭网络的连接在强度和速率方面都在逐步升级。安全不再只是一个选择，而是每个网络系统环境的必要条件。网络接入边缘的瓶颈阻塞日益严重，集成安全(防火墙、VPN
瑞萨科技公司和Discretix公司宣布，Discretix CryptoCell安全平台将整合进瑞萨科技的所有SH-Mobile处理器中，从而为移动设备提供更高级别的安全性。同时该基于硬件的解决方案还
两三年前,业内认为不可能出现10Wh/kg以上的大容量电容器.但是Power System公司、富士重工业以及日本CHIMI-CON等公司相继在美国"Advanced Capacitor World Summit 2005"(200
夏普微电子(Sharp)公司近期为中国客户扩大了MCU和SoC产品的技术和客户支持。通过与Beijing Creator的合作，Sharp现在可提供一种低成本评估板，从而允许开发者即刻开始对Sharp32
JTAG科技公司把其ISP支持扩展到了基于NAND的闪存产品。基于NAND的闪存由于具有低功耗、高容量，而被大量的用在数码相机、3G终端和PDA等便携式设备中。通过应用JTAG公司的BFM
IC China2005组委会近期透露,目前报名参展的国内外半导体企业及相关机构已近百家,涵盖了从IC设计、芯片制造、封装测试到设备材料、科研开发、服务应用及信息中介等半导体产
据市场分析公司Gartner预测,全球MP3闪存和HDD音频播放器的产量将从2004年的4040万部增长至2008年的1.39亿部.其中,基于HDD的便携式音频播放器的出货量将从2004年的1390万部