论文部分内容阅读
文章在分析形式化验证／综合系统VIS的基础上，改进了该电子系统中的关键技术－－二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
用VIS系统验证电路的实时特性的探讨
【摘 要】
：
文章在分析形式化验证／综合系统VIS的基础上，改进了该电子系统中的关键技术－－二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验
【机 构】
：
西安邮电学院ASIC中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年17期
【基金项目】
：
国家自然科学基金资助（编号：69473017）
其他文献
该文提出了在移动计算环境中,以脱机(Off-line)方式自主操纵数据的'移动人员”与数据中心之间的数据同步更新的实现方法.
以某洞库工程主洞室中层开挖施工为背景,洞室基岩为中粗粒花岗岩,其间穿插其它岩脉,如何保证安全和洞库工程的成型质量最为关键。在高直边墙中,采用预裂爆破技术,在对中层开