BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Gary D Hachtel

4 cilt bulundu.

Cilt sonuçları

Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

Gary D. Hachtel · Kluwer Academic Publishers

564 sayfa · 1996

Data processing / Integrated circuits / Logic design / Design / Verification

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi · Springer London, Limited

564 sayfa · 2006

Kategori yok

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi · Springer

193 sayfa · 2006

Systems engineering

CiltLogic Minimization Algorithms for VLSI SynthesisRobert K Brayton, Gary D Hachtel, C. McMullen

Logic Minimization Algorithms for VLSI Synthesis

Robert K Brayton, Gary D Hachtel, C. McMullen · Island Press

Sayfa sayısı yok · 1984

Kategori yok