AN ALGEBRAIC MODEL FOR ASYNCHRONOUS CIRCUITS VERIFICATION

被引：5
作者：
BERTHET, C
CERNY, E
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1988年 / 37卷 / 07期
关键词：
D O I：
10.1109/12.2229
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：835 / 847
页数：13
相关论文
共 29 条
[1]   VERIFY - A PROGRAM FOR PROVING CORRECTNESS OF DIGITAL HARDWARE DESIGNS [J].
BARROW, HG .
ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) :437-491
[2]   TOWARDS A NEW THEORY OF SEQUENTIAL SWITCHING NETWORKS [J].
BEIZER, B .
IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (10) :939-&
[3]  
BOCHMANN GV, 1982, IEEE T COMPUT, V31
[4]  
BRYANT RE, 1985, P CHAPEL HILL C VLSI
[5]  
BRYANT RE, 1984, IEEE T COMPUT, V33
[6]  
BRZOZOWSKI JA, 1979, IEEE T COMPUT, V28, P178, DOI 10.1109/TC.1979.1675317
[7]   SIMULATION OF MOS CIRCUITS BY DECISION DIAGRAMS [J].
CERNY, E ;
GECSEI, J .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (04) :685-693
[8]  
CERNY E, 1980, DIGITAL PROCESS, V6, P167
[9]  
CERNY E, 1977, IEEE T COMPUT, V26
[10]  
CERNY E, 1978, IEEE T COMPUT, V27
123