BibSonomy :: author  ::

bookmarks

publications

(57)

• Taschenbuch für Wirtschaftsingenieure : mit zahlreichen Tabellen
  {Ekbert} Hering and {Günther} Hachtel (1998)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Compositional SCC Analysis for Language Emptiness.
  Chao Wang and Roderick Bloem and Gary D. Hachtel and Kavita Ravi and Fabio Somenzi Formal Methods in System Design 28 5-36 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX  
• Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.
  Chai Wang and Bing Li and HoonSang Jin and Gary D. Hachtel and Fabio Somenzi IEEE Trans. on CAD of Integrated Circuits and Systems 25 2297-2316 (2006)
  to dblp by dblp on 2006-11-16 00:00:00
  | URL | BibTeX  
• Re-encoding sequential circuits to reduce power dissipation.
  Gary D. Hachtel and Mariano Hermida de la Rica and Abelardo Pardo and Massimo Poncino and Fabio Somenzi ICCAD 70-73 (1994)
  to dblp by dblp on 2006-09-13 00:00:00
  | URL | BibTeX  
• A symbolic method to reduce power consumption of circuits containing false paths.
  R. Iris Bahar and Gary D. Hachtel and Enrico Macii and Fabio Somenzi ICCAD 368-371 (1994)
  to dblp by dblp on 2006-09-13 00:00:00
  | URL | BibTeX  
• A symbolic algorithm for maximum flow in 0-1 networks.
  Gary D. Hachtel and Fabio Somenzi ICCAD 403-406 (1993)
  to dblp by dblp on 2006-09-13 00:00:00
  | URL | BibTeX  
• Algebraic decision diagrams and their applications.
  R. Iris Bahar and Erica A. Frohm and Charles M. Gaona and Gary D. Hachtel and Enrico Macii and Abelardo Pardo and Fabio Somenzi ICCAD 188-191 (1993)
  to dblp by dblp on 2006-09-13 00:00:00
  | URL | BibTeX  
• Algebraic Decision Diagrams and Their Applications.
  R. Iris Bahar and Erica A. Frohm and Charles M. Gaona and Gary D. Hachtel and Enrico Macii and Abelardo Pardo and Fabio Somenzi Formal Methods in System Design 10 171-206 (1997)
  to dblp by dblp on 2006-09-13 00:00:00
  | URL | BibTeX  
• A Theory and Algorithmic Frame for Switch Level Simulation.
  Michael R. Lightner and Gary D. Hachtel and Richard H. Byrd and Michel Heydemann IMACS European Simulation Meeting 151-159 (1984)
  to dblp by dblp on 2006-07-26 00:00:00
  | URL | BibTeX  
• An Algorithm for Optimal PLA Folding.
  Gary D. Hachtel and A. Richard Newton and Alberto L. Sangiovanni-Vincentelli IEEE Trans. on CAD of Integrated Circuits and Systems 1 63-77 (1982)
  to dblp by dblp on 2006-07-26 00:00:00
  | URL | BibTeX