对VIS系统关键技术的改进  

作　　者：郭建[1] 韩俊刚[1] 

机构地区：[1]西安邮电学院ASIC中心,陕西西安710061

出　　处：《计算机应用》2000年第S1期184-187,共4页journal of Computer Applications

基　　金：国家自然科学基金!(694730 1 7)

摘　　要：本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。

关 键 词：VIS系统 形式化验证 二叉判定图 实时二叉判定图 

分 类 号：TP331.1[自动化与计算机技术—计算机系统结构]