Follow
Fabio Somenzi
Title
Cited by
Cited by
Year
Algebric decision diagrams and their applications
RI Bahar, EA Frohm, CM Gaona, GD Hachtel, E Macii, A Pardo, ...
Formal methods in system design 10 (2), 171-206, 1997
11201997
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International conference on computer aided verification, 428-432, 1996
9451996
Logic synthesis and verification algorithms
GD Hachtel, F Somenzi
Springer Science & Business Media, 2007
7512007
CUDD: CU decision diagram package release 2.3. 1
F Somenzi
http://vlsi. colorado. edu/fabio/CUDD/cuddIntro. html, 1998
751*1998
Efficient Büchi automata from LTL formulae
F Somenzi, R Bloem
International Conference on Computer Aided Verification, 248-263, 2000
4732000
CUDD: CU decision diagram package
F Somenzi
http://vlsi. colorado. edu/~ fabio/CUDD/, 1997
4241997
High-level power modeling, estimation, and optimization
E Macii, M Pedram, F Somenzi
Proceedings of the 34th annual Design Automation Conference, 504-511, 1997
4211997
Who are the variables in your neighbourhood
S Panda, F Somenzi
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
2661995
High-density reachability analysis
K Ravi, F Somenzi
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
2241995
Symmetry detection and dynamic variable ordering of decision diagrams
S Panda, F Somenzi, BF Plessier
ICCAD, 628-631, 1994
2181994
Markovian analysis of large finite state machines
GD Hachtel, E Macii, A Pardo, F Somenzi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996
1941996
An algorithm for strongly connected component analysis in n log n symbolic steps
R Bloem, HN Gabow, F Somenzi
Formal Methods in System Design 28 (1), 37-56, 2006
1702006
Minimal assignments for bounded model checking
K Ravi, F Somenzi
International Conference on Tools and Algorithms for the Construction and …, 2004
1642004
Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration
H Cho, GD Hachtel, F Somenzi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1993
1511993
An exact minimizer for Boolean relations
RK Brayton, F Somenzi
1989 IEEE International Conference on Computer-Aided Design, 316,317,318,319 …, 1989
1291989
Algorithms for approximate FSM traversal
H Cho, GD Hachtel, E Macii, B Plessier, F Somenzi
Proceedings of the 30th international Design Automation Conference, 25-30, 1993
1281993
Re-encoding sequential circuits to reduce power dissipation
GD Hachtel, M Hermida, A Pardo, M Poncino, F Somenzi
IEEE/ACM International Conference on Computer-Aided Design, 70, 71, 72, 73 …, 1994
1231994
Binary decision diagrams
M Broy, R Steinbrüggen
Calculational system design, 303-366, 1999
1201999
Exact and heuristic algorithms for the minimization of incompletely specified state machines
JK Rho, GD Hachtel, F Somenzi, RM Jacoby
IEEE transactions on computer-aided design of integrated circuits and …, 1994
1171994
A performance study of BDD-based model checking
B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ...
International conference on formal methods in computer-aided design, 255-289, 1998
1161998
The system can't perform the operation now. Try again later.
Articles 1–20