Logic Synthesis and Verification

Pirmais vāks
Soha Hassoun, Tsutomu Sasao
Springer Science & Business Media, 2001. gada 30. nov. - 454 lappuses
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges.
Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references.
Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field.
Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools.
From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.

No grāmatas satura

Saturs

III
1
IV
2
V
12
VI
21
VII
29
VIII
31
IX
40
X
50
LIII
271
LIV
280
LV
285
LVII
286
LIX
287
LX
293
LXI
299
LXIII
301

XI
60
XII
61
XIII
65
XIV
67
XV
71
XVI
84
XVII
89
XVIII
90
XIX
91
XX
96
XXI
98
XXII
101
XXIII
104
XXV
110
XXVI
111
XXVII
115
XXVIII
117
XXIX
120
XXX
121
XXXI
132
XXXII
137
XXXIII
141
XXXIV
143
XXXV
144
XXXVI
160
XXXVII
167
XXXVIII
168
XXXIX
172
XL
174
XLI
193
XLII
197
XLIII
200
XLIV
209
XLV
213
XLVI
219
XLVII
225
XLVIII
226
XLIX
239
L
249
LI
255
LII
259
LXIV
304
LXV
309
LXVI
310
LXVIII
312
LXIX
318
LXX
323
LXXI
334
LXXII
338
LXXIII
343
LXXIV
344
LXXV
346
LXXVI
347
LXXVII
353
LXXVIII
361
LXXIX
367
LXXX
368
LXXXI
373
LXXXII
374
LXXXIII
380
LXXXIV
387
LXXXV
392
LXXXVI
393
LXXXVII
398
LXXXVIII
399
LXXXIX
403
XC
404
XCI
413
XCII
416
XCIII
420
XCV
424
XCVI
425
XCVII
426
XCVIII
427
XCIX
428
C
429
CI
430
CII
431
CIII
435
CIV
443
CV
447
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Bibliogrāfiskā informācija