Ayman M. Wahba, Einar J. Aas. Formal verification of digital circuits by 3-valued simulation. In Proceedings of the 2001 8th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2001, Malta, September 2-5, 2001. pages 785-788, IEEE, 2001. [doi]
Abstract is missing.