摘要
文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
： This paper analyzes the formal verification ／synthesis system VIS，and expands the key technology－binary decision diagram to timed binary decision diagram in order for expressing timing properties of circuit，with the pupose of verifying some real－time properties of circuits．
出处
《计算机工程与应用》
CSCD
北大核心
2001年第17期74-76,110,共4页
Computer Engineering and Applications
基金
国家自然科学基金资助(编号:69473017)。
