Formal verification of digital circuits by 3-valued simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ayman M. Wahba' in GoogleThis author has not been identified. Look up 'Einar J. Aas' in Google

runs on WebDSL