[1]
GU Xiao-yan, HU Xiao-hui, SHEN Ji-zhong . Hazard detection for binary combinational circuits based on signal behavior , . Journal of Zhejiang University Science Edition),2006, 33(4): 420一423.
Google Scholar
[2]
BRZOZOWSKIJ A , E SIK Z, IL AND Y. A lgebrasf or hazard detection[C]/Proceedings of 31st IEEE International Symposium on Multiple-Valued Logic. Warsaw Poland; IE EE, 2 001: 3-12.
Google Scholar
[3]
BRZOZOWSKIJ A , E SIK Z, IL AND Y. A lgebrasf or hazard detection[C]/Proceedings of 31st IEEE International Symposium on Multiple-Valued Logic. Warsaw Poland; IE EE, 2 001: 3-12.
Google Scholar
[4]
KRAD H. Hardware verification; ternary algebra versus a hybrid method[C]/Proceedings of the 32nd Midwest Symposium on Circuits and Systems. Champaign, IL USA: IE EE, 1 989,1: 303-306.
DOI: 10.1109/mwscas.1989.101852
Google Scholar
[5]
WU Xun-wei, PEDRAM M. Propagation algorithm of behavior probability in power estimation based on multiple-valued logic[C] /Proceedings of 30th IEEE International Symposium on Multiple-Valued Logic. Portland, OR USA: IEEE, 2000; 453-459.
DOI: 10.1109/ismvl.2000.848657
Google Scholar
[6]
Prosser F, Wu X. Design of the one-zero-hot controller. International Journal of Electronics, 1988, 64(3): 399-407.
DOI: 10.1080/00207218808962814
Google Scholar