المؤلفون: Miskov-Zivanov, N., Zuliani, P., Wang, Q., Clarke, E.M., Faeder, J.R.

المصدر: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International. :162-169 Oct, 2016

Relation: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

المؤلفون: Islam, M.A., Wang, Q., Hasani, R.M., Balun, O., Clarke, E.M., Grosu, R., Smolka, S.A.

المصدر: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International. :170-177 Oct, 2016

Relation: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

المؤلفون: Wang, Q., Clarke, E.M.

المصدر: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International. :178-184 Oct, 2016

Relation: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

المؤلفون: Chauhan, P., Clarke, E.M., Kroening, D.

المصدر: Proceedings. 41st Design Automation Conference, 2004. Design Automation Conference, 2004. Proceedings. 41st. :524-529 2004

Relation: 2004 41st Design Automation Conference

المؤلفون: Clarke, E.M., Kroening, D., Yorav, K.

المصدر: Proceedings 21st International Conference on Computer Design Computer design Computer Design, 2003. Proceedings. 21st International Conference on. :48-55 2003

Relation: 21st International Conference on Computer Design

المؤلفون: Chauhan, P., Clarke, E.M., Jha, S., Kukula, J., Shiple, T., Veith, H., Wang, D.

المصدر: IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) Computer aided design Computer Aided Design, 2001. ICCAD 2001. IEEE/ACM International Conference on. :293-298 2001

Relation: IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers

المؤلفون: Chauhan, P., Clarke, E.M., Lu, Y., Wang, D.

المصدر: Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No.99TH8454) ASIC/SOC ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International. :27-31 1999

Relation: Twelfth Annual IEEE International ASIC/SOC Conference

المؤلفون: Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.

المصدر: Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) Design automation 99 Design Automation Conference, 1999. Proceedings. 36th. :317-320 1999

Relation: Proceedings 1999 Design Automation Conference

المؤلفون: Deharbe, D., Shankar, S., Clarke, E.M.

المصدر: Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) Integrated circuit design Integrated Circuit Design, 1998. Proceedings. XI Brazilian Symposium on. :95-98 1998

Relation: Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216)

المؤلفون: Clarke, E.M., Fujita, M., Heinle, W.

المصدر: Proceedings of ICICS, 1997 International Conference on Information, Communications and Signal Processing. Theme: Trends in Information Systems Engineering and Wireless Multimedia Communications (Cat. Information, communications and signal processing Information, Communications and Signal Processing, 1997. ICICS., Proceedings of 1997 International Conference on. 1:251-255 vol.1 1997

Relation: Proceedings of 1st International Conference on Information Communications and Signal Processing