Automatic gate-level synthesis of speed-independent circuits
暂无分享,去创建一个
[1] Alain J. Martin. Programming in VLSI: from communicating processes to delay-insensitive circuits , 1991 .
[2] Tam-Anh Chu,et al. Synthesis of self-timed VLSI circuits from graph-theoretic specifications , 1987 .
[3] David L. Dill,et al. Trace theory for automatic hierarchical verification of speed-independent circuits , 1989, ACM distinguished dissertations.
[4] Teresa H. Y. Meng,et al. Synthesis of timed asynchronous circuits , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
[5] Luciano Lavagno,et al. Algorithms for synthesis of hazard-free asynchronous circuits , 1991, 28th ACM/IEEE Design Automation Conference.
[6] Victor I. Varshavsky,et al. Self-Timed Control of Concurrent Processes , 1989 .