Publisher
Institution of Engineering and Technology (IET)
Subject
General Engineering,General Computer Science
Reference23 articles.
1. Van De Snepscheut, J.L.A.: ‘Trace theory and VLSI design’, Lecture notes in computer science, (Springer Verlag, Berlin 1985),200,
2. Dill, D.L.: Trace theory for automatic hierarchical verification of speed-independent circuits, (MIT Press, Cambridge, MA 1988),an ACM distinguished dissertation
3. Martin, A.J.: ‘Synthesis of asynchronous VLSI circuits’, Staunstrup, J., Formal methods for VLSI design, (North Holland, Amsterdam 1990),chapter 6, IFIP WG 10.5 Lecture Notes
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Identification and Confinement of Fault Sensitivity Windows in QDI Logic;2020 Austrochip Workshop on Microelectronics (Austrochip);2020-10-07
2. Improvement of the Quasi Delay-Insensitive Pipeline Noise Immunity;2020 IEEE 11th International Conference on Dependable Systems, Services and Technologies (DESSERT);2020-05
3. PSK Signalling on NoC Buses;Lecture Notes in Computer Science;2005