Trace theory for automatic hierarchical verification of speed-independent circuits /

Trace theory for automatic hierarchical verification of speed-independent circuits /

Saved in:
Bibliographic Details
Main Author: Dill, David L.
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, c1989.
Series:ACM distinguished dissertations
Subjects:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.
LEADER 01179nam a2200313 a 4500
001 c000119097
003 CARM
005 00000000000000.0
008 890616s1989 maua b 00110 eng
010 |a 89012546 //r94 
019 1 |a 6505870  |5 LACONCORD2021 
020 |a 0262041014 
035 |a (OCoLC)20014870  |5 LACONCORD2021 
050 0 0 |a TK7868.S9  |b D55 1989 
082 0 0 |a 621.39/5  |2 20 
100 1 |a Dill, David L. 
245 1 0 |a Trace theory for automatic hierarchical verification of speed-independent circuits /  |c David L. Dill. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1989. 
300 |a 163 p. :  |b ill. ;  |c 24 cm. 
440 0 |a ACM distinguished dissertations 
500 |a Includes index. 
504 |a Bibliography: p. [153]-159. 
650 0 |a Switching circuits. 
650 0 |a Integrated circuits  |x Very large scale integration. 
650 0 |a Sequential machine theory. 
650 0 |a Integrated circuits  |x Verification. 
852 8 |b CARM  |h A2:AJ21E0  |i C04632  |p 0190894  |f BK 
999 f f |i 2f7c8d59-53c4-551d-a9d6-7d13d3021537  |s b5f6ca85-e466-5843-a741-dc1ad6694c1b 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C04632  |f A2:AJ21E0  |h Other scheme  |i book  |m 0190894 

Similar Items