A three-value computer design verification system
作者： J. S. Jephson , R. P. McQuarrie , R. E. Vogelsberg
DOI: 10.1147/SJ.83.0178
关键词:
摘要: … hardware troubleshooting more difficult, and variations in circuit parameters between machines make hardware … simulator is not affected by hardware procurement cycles and invariance…
sci-hub.se 参考文章(3)
Michael Yoeli, Shlomo Rinon, Application of Ternary Algebra to the Study of Static Hazards Journal of the ACM. ,vol. 11, pp. 84- 97 ,(1964) , 10.1145/321203.321214
E. B. Eichelberger, Hazard detection in combinational and sequential switching circuits Ibm Journal of Research and Development. ,vol. 9, pp. 90- 99 ,(1965) , 10.1147/RD.92.0090
D. E. Muller, Treatment of transition signals in electronic switching circuits by algebraic methods Ire Transactions on Electronic Computers. ,vol. 8, pp. 401- 401 ,(1959) , 10.1109/TEC.1959.5222702