论文部分内容阅读
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.
用PSL语言进行基于断言的验证方法
【摘 要】
：
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.
【机 构】
：
同济大学超大规模集成电路研究所
【出 处】
：
电子设计应用
【发表日期】
：
2005年12期
其他文献
本文介绍了LT3468/LT3468-1的性能特点和工作原理,重点分析了其关键电路参数的设计方法,给出了设计实例,并在实验基础上进一步提出了改进电路性能的方法.