Fabio Somenzi

Kuntal Nanshi, Fabio Somenzi: Using Abstraction to Guide the Search for Long Error Traces. IEEE Trans. on CAD of Integrated Circuits and Systems 32(3): 453-466 (2013)

Zyad Hassan, Aaron R. Bradley, Fabio Somenzi: Incremental, Inductive CTL Model Checking. CAV 2012: 532-547

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi: Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. FMCAD 2012: 196-203

HyoJung Han, HoonSang Jin, Fabio Somenzi: Clause simplification through dominator analysis. DATE 2011: 143-148

Fabio Somenzi, Aaron R. Bradley: IC3: where monolithic and incremental meet. FMCAD 2011: 3-8

Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang: An incremental approach to model checking progress properties. FMCAD 2011: 144-153

HyoJung Han, Fabio Somenzi, HoonSang Jin: Making Deduction More Effective in SAT Solvers. IEEE Trans. on CAD of Integrated Circuits and Systems 29(8): 1271-1284 (2010)

Kuntal Nanshi, Fabio Somenzi: Constraints in one-to-many concretization for abstraction refinement. DAC 2009: 569-574

Saqib Sohail, Fabio Somenzi: Safety first: A two-stage algorithm for LTL games. FMCAD 2009: 77-84

Hyondeuk Kim, Fabio Somenzi, HoonSang Jin: Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT 2009: 195-208

HyoJung Han, Fabio Somenzi: On-the-Fly Clause Improvement. SAT 2009: 209-222

Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi: Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490

Kuntal Nanshi, Fabio Somenzi: Improved Visibility in One-to-Many Trace Concretization. DATE 2008: 819-824

Saqib Sohail, Fabio Somenzi, Kavita Ravi: A Hybrid Algorithm for LTL Games. VMCAI 2008: 309-323

Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007)

Hyondeuk Kim, HoonSang Jin, Fabio Somenzi: Disequality Management in Integer Difference Logic via Finite Instantiations. JSAT 3(1-2): 47-66 (2007)

HyoJung Han, Fabio Somenzi: Alembic: An Efficient Algorithm for CNF Preprocessing. DAC 2007: 582-587

Gary D. Hachtel, Fabio Somenzi: Logic synthesis and verification algorithms. Springer 2006, isbn 978-0-387-31004-6, pp. I-XXIII, 1-564

Mohammad Awedh, Fabio Somenzi: Termination Criteria for Bounded Model Checking: Extensions and Comparison. Electr. Notes Theor. Comput. Sci. 144(1): 51-66 (2006)

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Compositional SCC Analysis for Language Emptiness. Formal Methods in System Design 28(1): 5-36 (2006)

Roderick Bloem, Harold N. Gabow, Fabio Somenzi: An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Formal Methods in System Design 28(1): 37-56 (2006)

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006)

Kuntal Nanshi, Fabio Somenzi: Guiding simulation with increasingly refined abstract traces. DAC 2006: 737-742

Mohammad Awedh, Fabio Somenzi: Automatic invariant strengthening to prove properties in bounded model checking. DAC 2006: 1073-1076

HoonSang Jin, Fabio Somenzi: Strong conflict analysis for propositional satisfiability. DATE 2006: 818-823

Hyondeuk Kim, Fabio Somenzi: Finite Instantiations for Integer Difference Logic. FMCAD 2006: 31-38

David Ward, Fabio Somenzi: Decomposing image computation for symbolic reachability analysis using control flow information. ICCAD 2006: 779-785

Bing Li, Fabio Somenzi: Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. TACAS 2006: 227-241

HoonSang Jin, Fabio Somenzi: An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 119(2): 51-65 (2005)

Bing Li, Chao Wang, Fabio Somenzi: Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. STTT 7(2): 143-155 (2005)

David Ward, Fabio Somenzi: Automatic Generation of Hints for Symbolic Traversal. CHARME 2005: 207-221

HoonSang Jin, Fabio Somenzi: Prime clauses for fast enumeration of satisfying assignments to boolean circuits. DAC 2005: 750-753

HoonSang Jin, HyoJung Han, Fabio Somenzi: Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300

HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and free will in error traces. STTT 6(2): 102-116 (2004)

Mohammad Awedh, Fabio Somenzi: Proving More Properties with Bounded Model Checking. CAV 2004: 96-108

HoonSang Jin, Mohammad Awedh, Fabio Somenzi: CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522

Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538

Mohammad Awedh, Fabio Somenzi: Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD 2004: 230-244

Bing Li, Fabio Somenzi: Efficient computation of small abstraction refinements. ICCAD 2004: 518-525

Chao Wang, Gary D. Hachtel, Fabio Somenzi: Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD 2004: 112-118

HoonSang Jin, Fabio Somenzi: CirCUs: A Hybrid Satisfiability Solver. SAT 2004

HoonSang Jin, Fabio Somenzi: CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers 2004: 211-223

Kavita Ravi, Fabio Somenzi: Minimal Assignments for Bounded Model Checking. TACAS 2004: 31-45

Bing Li, Chao Wang, Fabio Somenzi: A satisfiability-based approach to abstraction refinement in model checking. Electr. Notes Theor. Comput. Sci. 89(4): 608-622 (2003)

Fabio Somenzi: The Charme of Abstract Entities. CHARME 2003: 2

Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110

Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi: Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295

Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711

Chao Wang, Gary D. Hachtel, Fabio Somenzi: The Compositional Far Side of Image Computation. ICCAD 2003: 334-341

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415

Warren A. Hunt Jr., Fabio Somenzi (Eds.): Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2725, Springer 2003, isbn 3-540-40524-0

Mitra Purandare, Fabio Somenzi: Vacuum Cleaning CTL Formulae. CAV 2002: 485-499

Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi: Fair Simulation Minimization. CAV 2002: 610-624

Fabio Somenzi, Kavita Ravi, Roderick Bloem: Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105

HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326

HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and Free Will in Error Traces. TACAS 2002: 445-459

Fabio Somenzi: Efficient manipulation of decision diagrams. STTT 3(2): 171-181 (2001)

Rolf Drechsler, Wolfgang Günther, Fabio Somenzi: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 20(1): 51-57 (2001)

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 19(5): 521-533 (2000)

Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi: Fundamental CAD algorithms. IEEE Trans. on CAD of Integrated Circuits and Systems 19(12): 1449-1475 (2000)

Fabio Somenzi, Roderick Bloem: Efficient Büchi Automata from LTL Formulae. CAV 2000: 248-263

In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi: To split or to conjoin: the question in image computation. DAC 2000: 23-28

Roderick Bloem, Kavita Ravi, Fabio Somenzi: Symbolic guided search for CTL model checking. DAC 2000: 29-34

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi: Optimizing sequential verification by retiming transformations. DAC 2000: 601-606

Balakrishna Kumthekar, Fabio Somenzi: Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs. DATE 2000: 202-207

Roderick Bloem, Harold N. Gabow, Fabio Somenzi: An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. FMCAD 2000: 37-54

In-Ho Moon, Gary D. Hachtel, Fabio Somenzi: Border-Block Triangular Form and Conjunction Schedule in Image Computation. FMCAD 2000: 73-90

Kavita Ravi, Roderick Bloem, Fabio Somenzi: A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160

Fabio Somenzi: Symbolic State Exploration. Electr. Notes Theor. Comput. Sci. 23(2): 46-56 (1999)

Roderick Bloem, Kavita Ravi, Fabio Somenzi: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235

Kavita Ravi, Fabio Somenzi: Hints to accelerate Symbolic Traversal. CHARME 1999: 250-264

Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: Using Combinational Verification for Sequential Circuits. DATE 1999: 138-144

In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi: Least fixpoint approximations for reachability analysis. ICCAD 1999: 41-44

Hiroyuki Higuchi, Fabio Somenzi: Lazy group sifting for efficient symbolic state traversal of FSMs. ICCAD 1999: 45-49

Kavita Ravi, Fabio Somenzi: Efficient Fixpoint Computation for Invariant Checking. ICCD 1999: 467-

Enrico Macii, Massoud Pedram, Fabio Somenzi: High-level power modeling, estimation, and optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1061-1079 (1998)

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi: Approximation and Decomposition of Binary Decision Diagrams. DAC 1998: 445-450

Balakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi: In-Place Power Optimization for LUT-Based FPGAs. DAC 1998: 718-721

Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi: A Performance Study of BDD-Based Model Checking. FMCAD 1998: 255-289

Fabrizio Ferrandi, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi, Fabio Somenzi: Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. ICCAD 1998: 235-241

In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley: Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358

Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: On the optimization power of retiming and resynthesis transformations. ICCAD 1998: 402-407

R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic Decision Diagrams and Their Applications. Formal Methods in System Design 10(2/3): 171-206 (1997)

Gary D. Hachtel, Fabio Somenzi: A Symbolic Algorithms for Maximum Flow in 0-1 Networks. Formal Methods in System Design 10(2/3): 207-219 (1997)

Shin-ichi Minato, Fabio Somenzi: Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods in System Design 10(2/3): 221-242 (1997)

R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1101-1115 (1997)

Enrico Macii, Bernard Plessier, Fabio Somenzi: Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1136-1156 (1997)

Srilatha Manne, Dirk Grunwald, Fabio Somenzi: Remembrance of Things Past: Locality and Memory in BDDs. DAC 1997: 196-201

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207

Enrico Macii, Massoud Pedram, Fabio Somenzi: High-Level Power Modeling, Estimation, and Optimization. DAC 1997: 504-511

Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi: A symbolic algorithm for low-power sequential synthesis. ISLPED 1997: 56-61

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14 (1997)

Gary D. Hachtel, Fabio Somenzi: Logic synthesis and verification algorithms. Kluwer 1996, isbn 978-0-7923-9746-5, pp. I-XXIX, 1-564

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: Automatic state space decomposition for approximate FSM traversal based on circuit analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1451-1464 (1996)

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1465-1478 (1996)

Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Markovian analysis of large finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1479-1493 (1996)

Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432

Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi: Modular Verification of Multipliers. FMCAD 1996: 49-63

Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256

Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi: Tearing based automatic abstraction for CTL model checking. ICCAD 1996: 76-81

R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi: Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED 1996: 163-168

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42 (1996)

Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino: Computing the Maximum Power Cycles of a Sequential Circuit. DAC 1995: 23-28

Shipra Panda, Fabio Somenzi: Who are the variables in your neighborhood. ICCAD 1995: 74-77

Kavita Ravi, Fabio Somenzi: High-density reachability analysis. ICCAD 1995: 154-158

R. Iris Bahar, Fabio Somenzi: Boolean techniques for low power driven re-synthesis. ICCAD 1995: 428-432

Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi: CMOS dynamic power estimation based on collapsible current source transistor modeling. ISLPD 1995: 111-116

Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. Formal Methods in System Design 4(2): 167-185 (1994)

June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby: Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 13(2): 167-177 (1994)

June-Kyung Rho, Fabio Somenzi: Don't care sequences and the optimization of interacting finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 13(7): 865-874 (1994)

Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Probabilistic Analysis of Large Finite State Machines. DAC 1994: 270-275

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A State Space Decomposition Algorithm for Approximate FSM Traversal. EDAC-ETC-EUROASIC 1994: 137-141

Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC 1994: 214-218

R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Timing Analysis of Combinational Circuits using ADD's. EDAC-ETC-EUROASIC 1994: 625-629

Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi: Re-encoding sequential circuits to reduce power dissipation. ICCAD 1994: 70-73

R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: A symbolic method to reduce power consumption of circuits containing false paths. ICCAD 1994: 368-371

Shipra Panda, Fabio Somenzi, Bernard Plessier: Symmetry detection and dynamic variable ordering of decision diagrams. ICCAD 1994: 628-631

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. ICCD 1994: 236-239

Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley: Synchronizing sequences and symbolic traversal techniques in test generation. J. Electronic Testing 4(1): 19-31 (1993)

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 12(7): 935-945 (1993)

June-Kyung Rho, Fabio Somenzi: Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. CAV 1993: 123-137

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for Approximate FSM Traversal. DAC 1993: 25-30

June-Kyung Rho, Fabio Somenzi, Carl Pixley: Minimum Length Synchronizing Sequences of Finite State Machine. DAC 1993: 463-468

R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic decision diagrams and their applications. ICCAD 1993: 188-191

Gary D. Hachtel, Fabio Somenzi: A symbolic algorithm for maximum flow in 0-1 networks. ICCAD 1993: 403-406

June-Kyung Rho, Fabio Somenzi: Inductive Verification of Iterative Systems. DAC 1992: 628-633

Enrico Macii, Bernard Plessier, Fabio Somenzi: Verification of systems containing counters. ICCAD 1992: 179-182

Seh-Woong Jeong, Fabio Somenzi: A new algorithm for the binate covering problem and its application to the minimization of Boolean relations. ICCAD 1992: 417-420

June-Kyung Rho, Fabio Somenzi: The Role of Prime Compatibles in the Minimization of Finite State Machines. ICCD 1992: 324-327

Michele Favalli, Piero Olivo, Bruno Riccò, Fabio Somenzi: Fault simulation for general FCMOS ICs. J. Electronic Testing 2(2): 181-190 (1991)

June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi: Don't Care Sequences and the Optimization of Interacting Finite State Machines. ICCAD 1991: 418-421

Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. ICCAD 1991: 464-467

Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Variable Ordering and Selection for FSM Traversal. ICCAD 1991: 476-479

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Redundancy Identification and Removal Based on Implicit State Enumeration. ICCD 1991: 77-80

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Fast Sequential ATPG Based on Implicit State Enumeration. ITC 1991: 67-74

M. Pipponzi, Fabio Somenzi: An iterative algorithm for the binate covering problem. EURO-DAC 1990: 208-211

Bill Lin, Fabio Somenzi: Minimization of Symbolic Relations. ICCAD 1990: 88-91

Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi: ATPG Aspects of FSM Verification. ICCAD 1990: 134-137

Silvano Gai, Pier Luca Montessoro, Fabio Somenzi: MOZART: a concurrent multilevel simulator. IEEE Trans. on CAD of Integrated Circuits and Systems 7(9): 1005-1016 (1988)

Silvano Gai, Pier Luca Montessoro, Fabio Somenzi: The Performance of the Concurrent Fault Simulation Algorithms in MOZART. DAC 1988: 692-697

Gianpiero Cabodi, Silvano Gai, Marco Mezzalama, Paolo Luca Montessoro, Fabio Somenzi: Fault simulation in a multilevel environment: the MOZART approach. FTCS 1988: 128-133

Silvano Gai, Fabio Somenzi, M. Spalla: Fast and Coherent Simulation with Zero Delay Elements. IEEE Trans. on CAD of Integrated Circuits and Systems 6(1): 85-93 (1987)

Silvano Gai, Fabio Somenzi, Ernst Ulrich: Advances in Concurrent Multilevel Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 1006-1012 (1987)

Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto: Testing Strategy and Technique for Macro-Based Circuits. IEEE Trans. Computers 34(1): 85-90 (1985)

Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto: PART: Programmable Array Testing Based on a Partitioning Algorithm. IEEE Trans. on CAD of Integrated Circuits and Systems 3(2): 142-149 (1984)

Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto: A new integrated system for PLA testing and verification. DAC 1983: 57-63