逻辑验证自身的特点及其利用  

作　　者：杨志娟[1] 梁业伟[1] 石茵[2] 魏道政 

机构地区：[1]北京工业大学计算机学院,北京100044 [2]中国科学院计算机技术研究所CAD开放实验室,北京100080

出　　处：《计算机学报》1999年第4期445-447,共3页Chinese Journal of Computers

基　　金：国家自然科学基金

关 键 词：数字系统 逻辑验证 测试码 

分 类 号：TP271.82[自动化与计算机技术—检测技术与自动化装置]