by Hachtel, Gary D., Stack, John D., Hachtel, Jordan A.
Published in Scientific reports (14.03.2022)

by Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.1996)

by Wang, Chao, Bloem, Roderick, Hachtel, Gary D., Ravi, Kavita, Somenzi, Fabio
Published in Formal methods in system design (01.01.2006)

by Pardo, Abelardo, Hachtel, Gary D.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 35th annual conference on Design automation; 15-19 June 1998 (01.01.1998)

by Wang, Chao, Jin, HoonSang, Hachtel, Gary D., Somenzi, Fabio
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)

by Hyunwoo Cho, Hachtel, G.D., Macii, E., Plessier, B., Somenzi, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.1996)

by CHAO WANG, HACHTEL, Gary D, SOMENZI, Fabio
Year of Publication 2004

by Cho, H., Hachtel, G.D., Somenzi, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.1993)

by Hyunwoo Cho, Hachtel, G.D., Macii, E., Poncino, M., Somenzi, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.1996)

by Bahar, R Iris, Hachtel, Gary D, Macii, Enrico, Somenzi, Fabio
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.01.1994)

by Wang, Chao, Li, Bing, Jin, HoonSang, Hachtel, Gary D., Somenzi, Fabio
Published in International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 (09.11.2003)

by Hachtel, Gary D., Macii, Enrico, Pardo, Abelardo, Somenzi, Fabio
Published in 31st Design Automation Conference (06.06.1994)

by Cho, Hyunwoo, Hachtel, Gary D., Macii, Enrico, Plessier, Bernard, Somenzi, Fabio
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 30th international conference on Design automation; 14-18 June 1993 (01.07.1993)

by Manne, Srilatha, Pardo, Abelardo, Bahar, R. Iris, Hachtel, Gary D., Somenzi, Fabio, Macii, Enrico, Poncino, Massimo
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 32nd ACM/IEEE conference on Design automation; 12-16 June 1995 (01.01.1995)

by Wang, Chao, Hachtel, Gary D., Somenzi, Fabio
Published in International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 (09.11.2003)

by Moon, In-Ho, Jang, Jae-Young, Hachtel, Gary D., Somenzi, Fabio, Yuan, Jun, Pixley, Carl
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)

by Chao Wang, Bing Li, HoonSang Jin, Hachtel, G.D., Somenzi, F.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2006)

by June-Kyung Rho, Hachtel, G.D., Somenzi, F., Jacoby, R.M.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.1994)

by Jae-Young Jang, In-Ho Moon, Hachtel, G.D.
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) (2000)

by Pixley, C., Jeong, S.-W., Hachtel, G.D.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.1994)