Production Rule Verification for Quasi-Delay-Insensitive Circuits
暂无分享,去创建一个
[1] Ganesh Gopalakrishnan,et al. Performance analysis and optimization of asynchronous circuits , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[2] Trevor W. S. Lee Mark R. Greenstreet Carl-Johan,et al. Automatic Veri cation of Asynchronous Circuits , 1993 .
[3] Alain J. Martin. Compiling communicating processes into delay-insensitive VLSI circuits , 2005, Distributed Computing.
[4] Alan P. Sprague,et al. Placement of the Processors of a Hypercube , 1991, IEEE Trans. Computers.
[5] F. Leighton,et al. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes , 1991 .
[6] Charles L. Seitz,et al. The cosmic cube , 1985, CACM.
[7] Alain J. Martin. Programming in VLSI: from communicating processes to delay-insensitive circuits , 1991 .
[8] Shahid H. Bokhari,et al. On the Mapping Problem , 1981, IEEE Transactions on Computers.
[9] Alain J. Martin. The limitations to delay-insensitivity in asynchronous circuits , 1990 .
[10] Peter K. Pearson,et al. Fast hashing of variable-length text strings , 1990, CACM.
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.