一种标准单元库组合电路功能验证的方法及其程序设计
本文提出了一种基于MOS管开关模型的标准单元库组合电路的功能验证方法,可以有效地加快验证速度并提高验证的准确度.程序设计主要由电路模拟器、逻辑表达式编译器、激励生成器及程序控制器4个部分组成.电路模拟器基于MOS管开关模型建立,用于根据电路结构实现输入到输出的求值;逻辑表达式编译器用于将用户输入的逻辑表达式字符串转化为可执行代码;激励生成器用于产生遍历所有输入情况的激励;程序控制器用于控制程序的执行与中断,模块间数据的通信及人机交互.
集成电路 全定制设计 标准单元库 组合电路 功能验证 程序设计
喻鑫 梁斌 郭阳
国防科技大学计算机学院 长沙410073
国内会议
西宁
中文
341-345
2013-07-20（万方平台首次上网日期，不代表论文的发表时间）