AuthorHachtel, Gary D.
TitleLogic Synthesis and Verification Algorithms [electronic resource] / by Gary D. Hachtel, Fabio Somenzi
Imprint Boston, MA : Kluwer Academic Publishers, 2002
Connect tohttp://dx.doi.org/10.1007/b117060
Descript-

SUBJECT

  1. Engineering
  2. Electronic and Computer Engineering
  3. Discrete Mathematics in Computer Science
  4. Computing Methodologies
  5. Computer-Aided Engineering (CAD
  6. CAE) and Design
  7. Circuits and Systems