Generating compact assertions for control-based logic signals

Tong, Jason G., Sarraf, Danny, Boulé, Marc and Zilic, Zeljko. 2011. « Generating compact assertions for control-based logic signals ». In IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS) (Seoul, Korea, Aug. 07-10, 2011) IEEE.
Compte des citations dans Scopus : 3.

The full text of this document is not available here.

Item Type:	Conference proceeding
Professor:	Professor Boulé, Marc
Affiliation:	Service des enseignements généraux
Date Deposited:	14 Oct 2022 20:48
Last Modified:	14 Oct 2022 20:48
URI:	https://espace2.etsmtl.ca/id/eprint/25643

Actions (login required)

View Item