A logic simulation machine
暂无分享,去创建一个
[1] A. D. Friedman,et al. Theory and Design of Switching Circuits , 1983 .
[2] Ernst G. Ulrich. Exclusive simulation of activity in digital networks , 1969, CACM.
[3] Mark Stefik,et al. A Parallel Bit Map Processor Architecture for DA Algorithms , 1981, 18th Design Automation Conference.
[4] Michael J. Flynn,et al. System Design of a Dynamic Microprocessor , 1970, IEEE Transactions on Computers.
[5] Melvin A. Breuer,et al. Diagnosis and Reliable Design of Digital Systems , 1977 .
[6] P. R. Menon,et al. A logic simulation machine , 1982, ISCA.
[7] Ernst G. Ulrich. Table Lookup Techniques for Fast and Flexible Digital Logic Simulation , 1980, 17th Design Automation Conference.
[8] Howard E. Krohn. Vector Coding Techniques for High Speed Digital Simulation , 1981, 18th Design Automation Conference.
[9] Howard E. Krohn. Design verification of large scientific computers , 1977, DAC '77.
[10] Charles E. Leiserson. Systolic Priority Queues , 1979 .
[11] J. Tellier,et al. High-Speed Concurrent Fault Simulation with Vectors and Scalars , 1980, 17th Design Automation Conference.