共 50 条
- [42] Practical asynchronous circuits and tools IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 108 - 108
- [43] General testers for asynchronous circuits 10TH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2004, : 28 - 38
- [44] Timed verification of asynchronous circuits CONCURRENCY AND HARDWARE DESIGN: ADVANCED IN PETRI NETS, 2002, 2549 : 274 - 312
- [45] COHERENT DESIGN OF ASYNCHRONOUS CIRCUITS IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1983, 130 (06): : 190 - 202
- [46] Verifying Timed, Asynchronous Circuits using ACL2 2019 25TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC 2019), 2019, : 96 - 104
- [49] Testing micropipelined asynchronous circuits INTERNATIONAL TEST CONFERENCE 2004, PROCEEDINGS, 2004, : 329 - 338
- [50] Automatic verification of asynchronous circuits IEEE Design and Test of Computers, 12 (01): : 24 - 31