INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9781441975188 (electronic bk.)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-5936
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Advanced techniques in logic synthesis, optimizations and application
General Material Designation
[Book]
First Statement of Responsibility
/ Sunil P. Khatri, Kanupriya Gulati, editors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, c2011.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xxi, 423 p.)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion.
Text of Note
Preface; Contents; Contributors; 1 Introduction; Sunil P. Khatri and Kanupriya Gulati; Part I Logic Decomposition; 2 Logic Synthesis by Signal-Driven Decomposition; 3 Sequential Logic Synthesis Using Symbolic Bi-decomposition; 4 Boolean Factoring and Decomposition of Logic Networks; 5 Ashenhurst Decomposition Using SATand Interpolation; 6 Bi-decomposition Using SAT and Interpolation; Part II Boolean Satisfiability; 7 Boundary Points and Resolution; 8 SAT Sweeping with Local Observability Don't-Cares; 9 A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving.
TOPICAL NAME USED AS SUBJECT
Logic design
Electronic books
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7888
.
4
Book number
.
A38
2011
PERSONAL NAME - SECONDARY RESPONSIBILITY
Khatri, Sunil P.,1965-
Gulati, Kanupriya
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
