共 50 条
[34]
General testers for asynchronous circuits
[J].
10TH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS,
2004,
:28-38
[35]
ENCODING OF ASYNCHRONOUS SEQUENTIAL CIRCUITS
[J].
IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS,
1965, EC14 (05)
:727-+
[37]
Timed verification of asynchronous circuits
[J].
CONCURRENCY AND HARDWARE DESIGN: ADVANCED IN PETRI NETS,
2002, 2549
:274-312
[38]
Practical asynchronous circuits and tools
[J].
IEEE DESIGN & TEST OF COMPUTERS,
2002, 19 (04)
:108-108
[39]
COHERENT DESIGN OF ASYNCHRONOUS CIRCUITS
[J].
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES,
1983, 130 (06)
:190-202
[40]
Automatic verification of asynchronous circuits
[J].
IEEE Design and Test of Computers,
12 (01)
:24-31