Skip to Content

University of Colorado Boulder
Search

Search

Other ways to search:

  • Events Calendar
  • Campus Map
Fabio Somenzi
College of Engineering and Applied Science
Fabio Somenzi

Main menu

  • Home
  • About
  • Research
  • Group
  • Contact

Mobile menu

  • Home
  • About
  • Research
  • Group
  • Contact

Group

Ph.D. Thesis Advisor

Mohammad Awedh

“Proving properties for Bounded Model Checking” 2006.

R. I. Bahar

“Methods for Timing Analysis and Logic Synthesis to Decrease Power Dissipation of VLSI Circuits,” 1995.

R. P. Bloem

“Search Techniques and Automata for Symbolic Model Checking,” 2001.

H. Cho

“Reachability Analyses and Their Applications in Test Generation and Logic Optimization for Sequential Circuits,” 1993.

H. Cho

“Reachability Analyses and Their Applications in Test Generation and Logic Optimization for Sequential Circuits,” 1993.

M. Escobar

“Efficient Solution of Satisfiability Problems in CAD Applications,” 1999.

HoonSang Jin

“Efficient Algorithms for Finding All Satisfying Assignments of a Propositional Formula,” 2005.

B. Kumthekar

“Layout Conscious Logic Optimization Techniques for Power and Delay Reduction in FPGAs,” 2000.

W. Lee

“Approximate Model Checking,” 1998.

Bing Li

“Satisfiability-based Abstraction Refinement in Symbolic Model Checking,” 2006.

I.-H. Moon

“Efficient Reachability Algorithms in Symbolic Model Checking,” 2000.

Kuntal Nanshi

“Proving Properties of Digital Systems with Abstraction-Guided Simulation,” 2009.

K. Ravi

“Adaptive Techniques to Improve State Space Search in Formal Verification,” 1999.

J.-K. Rho

“Finite State Models for the Optimization and Verification of Digital Systems,” 1993.

David Ward

“Exploiting High-Level Design Control and Data Structures for Hardware Verification,” 2007.

M.S. Student Advisor

Sankaranarayanan Gurumurthy

Huthasana Kalyanam

David Morgan

Saloni Shah

Tara Weber

Current Ph.D. Student Advisor

Hyojung Han

Hyondeuk Kim

Elias Shihadeh

Saqib Sohail

Fabio Somenzi

Office: Engineering Center, ECOT 348
Phone: (303) 492-3466
Fax: (303) 492-2758
E-mail: fabio@colorado.edu

University of Colorado Boulder

University of Colorado Boulder
© Regents of the University of Colorado
Privacy • Legal & Trademarks • Campus Map

Return to the top of the page