Hazard detection by a quinary simulation of logic devices with bounded propagation delays
暂无分享,去创建一个
[1] Giuseppe Fantauzzi. An Algebraic Model for the Analysis of Logical Circuits , 1974, IEEE Transactions on Computers.
[2] Treatment of transition signals in electronic switching circuits by algebraic methods , 1959, IRE Trans. Electron. Comput..
[3] James S. Jephson,et al. A Three-Value Computer Design Verification System , 1969, IBM Syst. J..
[4] Glen G. Langdon. Analysis of Asynchronous Circuits Under Different Delay Assumptions , 1968, IEEE Transactions on Computers.
[5] Edward B. Eichelberger,et al. Hazard Detection in Combinational and Sequential Switching Circuits , 1965, IBM J. Res. Dev..
[6] George Boole,et al. An Investigation of the Laws of Thought: Frontmatter , 2009 .
[7] Michael Yoeli,et al. Application of Ternary Algebra to the Study of Static Hazards , 1964, JACM.
[8] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .
[9] S. Unger. Hazards and Delays in Asynchronous Sequential Switching Circuits , 1959 .
[10] Stephen H. Unger,et al. Asynchronous sequential switching circuits , 1969 .