Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

by Gary D. Hachtel, Fabio Somenzi Paperback 2013

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Gary D. Hachtel, Fabio Somenzi
  • ISBN 13: 9781475770360
  • ISBN 10: 1475770367
  • Publication Year: 2013
  • Language: English

Specifications

Index-101475770367
LanguageEnglish
Index-139781475770360
Period-
Class Track-
Publisher- (2013)
Pages-

✨ Readers also enjoyed...

View All →
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large S…

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Inquire
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large S…

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Inquire
Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for …

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli

Inquire
William the Conqueror

William the Conqueror

Jacob Abbott

Inquire
Historical Encyclopedia of World War II

Historical Encyclopedia of World W…

Marcel Baudot, Henri Bernard, Hendrik Brugmans, Michael R. Foot, Hans-Adolf Jacobsen

Inquire