共 50 条
- [1] SELF-TIMED IS SELF-CHECKING JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1995, 6 (02): : 219 - 228
- [2] Design for self-checking and self-timed datapath 21ST IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2003, : 417 - 422
- [8] Verifying a self-timed divider ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - FOURTH INTERNATIONAL SYMPOSIUM, 1998, : 146 - 158
- [9] Stability Verification of Self-Timed Control Systems using Model-Checking 2018 21ST EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2018), 2018, : 312 - 319