Markovian analysis of large finite state machines
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)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.1996)
Get full text
Journal Article
Compositional SCC Analysis for Language Emptiness
Wang, Chao, Bloem, Roderick, Hachtel, Gary D., Ravi, Kavita, Somenzi, Fabio
Published in Formal methods in system design (01.01.2006)
Published in Formal methods in system design (01.01.2006)
Get full text
Journal Article
Refining the SAT decision ordering for bounded model checking
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)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Get full text
Conference Proceeding
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement
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)
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)
Get full text
Conference Proceeding
Probabilistic analysis of large finite state machines
Hachtel, Gary D., Macii, Enrico, Pardo, Abelardo, Somenzi, Fabio
Published in 31st Design Automation Conference (06.06.1994)
Published in 31st Design Automation Conference (06.06.1994)
Get full text
Conference Proceeding
Algorithms for approximate FSM traversal
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)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 30th international conference on Design automation; 14-18 June 1993 (01.07.1993)
Get full text
Conference Proceeding
Computing the maximum power cycles of a sequential circuit
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)
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)
Get full text
Conference Proceeding
The Compositional Far Side of Image Computation
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)
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)
Get full text
Conference Proceeding
Approximate reachability don't cares for CTL model checking
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)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)
Get full text
Conference Proceeding
Journal Article