1  12
 Sasao, Tsutomu, 1950 author.
 Cham, Switzerland : Springer, [2024]
 Description
 Book — 1 online resource (xiii, 144 pages) : illustrations (some color)
 Summary

 Introduction
 Definitions and Basic Properties
 Minimization of Variables: Exact Method
 Minimization of Variables: Heuristic Method
 TwoClass Functions
 Linear Decomposition
 Data Mining and Machine Learning
 Functions with MultiValued Inputs
 Easily Reconstructable Functions
 Functions with Continuous Variables
 References
 Conclusions
2. Index generation functions [2019]
 Sasao, Tsutomu, 1950 author.
 Cham, Switzerland : Springer, [2019]
 Description
 Book — 1 online resource (xvii, 165 pages) : illustrations
 Summary

 Preface Acknowledgments Introduction Applications Definitions and Basic Properties Index Generation Functions and Their Realizations Minimization of Primitive Variables Linear Transformations of Input Variables Iterative Reduction of Compound Variables Irreducible Index Generation Function SATBased Method to Find Linear Transformations Statistical Approach Realization Using Four IGUs References on Index Generation Functions Conclusions Bibliography Author's Biography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
3. Index generation functions [2019]
 Sasao, Tsutomu, 1950 author.
 [San Rafael, California] : Morgan & Claypool, [2019]
 Description
 Book — 1 PDF (xvii, 165 pages).
 Summary

 Preface Acknowledgments Introduction Applications Definitions and Basic Properties Index Generation Functions and Their Realizations Minimization of Primitive Variables Linear Transformations of Input Variables Iterative Reduction of Compound Variables Irreducible Index Generation Function SATBased Method to Find Linear Transformations Statistical Approach Realization Using Four IGUs References on Index Generation Functions Conclusions Bibliography Author's Biography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Sasao, Tsutomu, 1950 author.
 San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.
 Description
 Book — 1 PDF (xvii, 105 pages).
 Summary

 Preface Acknowledgments Introduction to ZeroSuppressed Decision Diagrams Efficient Generation of Prime Implicants and Irredundant SumofProducts Expressions The Power of EnumerationBDD/ZDDBased Algorithms for Tackling Combinatorial Explosion Regular Expression Matching Using ZeroSuppressed Decision Diagrams Authors' and Editors' Biographies Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
5. Memorybased logic synthesis [2011]
 Sasao, Tsutomu, 1950
 New York : Springer, ©2011.
 Description
 Book — 1 online resource (xii, 189 pages) : illustrations Digital: text file.PDF.
 Summary

 Introduction
 Basic Elements
 Definitions and Basic Properties
 MUXBased Synthesis
 CascadeBased Synthesis
 Encoding Method
 Functions with Small CMeasures
 CMeasure of Sparse Functions
 Index Generation Functions
 HashBased Synthesis
 Reduction of the Number of Variables
 Various Realizations
 Conclusions.
6. Switching theory for logic synthesis [1999]
 Sasao, Tsutomu, 1950
 Boston, Mass. : Kluwer Academic Publishers, 1999.
 Description
 Book — viii, 362 p. : ill. ; 24 cm.
 Summary

 Mathematical foundation
 lattice and Boolean algebra
 logic functions and their representations
 optimization of andor twolevel logic networks
 logic functions with various properties
 sequential networks
 optimization of sequential networks
 delay and asynchronous behavior
 multivalued input twovalued output function
 heuristic optimization of twolevel networks
 multilevel logic synthesis
 logic design using modules
 logic design using EXORs
 complexity of logic networks.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
TK7868 .L6 S27 1999  Available 
7. Logic synthesis and optimization [1993]
 Boston : Kluwer Academic Publishers, c1993.
 Description
 Book — xv, 375 p. : ill. ; 25 cm.
 Summary

"Logic Synthesis and Optimization" presents uptodate research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of the book is on logic minimization and includes such topics as twolevel minimization, multilevel minimization, application of binary decision diagrams, delay optimization, asynchronous circuits, spectral method for logic design, field programmable gate array (FPGA) design, EXOR logic synthesis and technology mapping. Examples and illustrations are included so that each contribution can be read independently. "Logic Synthesis and Optimization" is an indispensable reference for academic researchers as well as professional CAD engineers.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
TK7868 .L6 L627 1993  Available 
8. Logic synthesis and verification [2002]
 Boston : Kluwer Academic Publishers, c2002.
 Description
 Book — xiv, 454 p. : ill. ; 24 cm.
 Summary

 Foreword. Preface. 1: TwoLevel Logic Minimization
 O. Coudert, T. Sasao. 2: MultiLevel Logic Optimization
 M. Fujita, Y. Matsunaga, M. Ciesielski. 3: Flexibility in Logic
 E. Sentovich, D. Brand. 4: MultipleValued Logic Synthesis and Optimization
 E. Dubrovna. 5: Technology Mapping
 L. Stok, V. Tiwari. 6: Technologybased Transformations
 R. Murgai. 7: Logical and Physical Design: A Flow Perspective
 O. Coudert. 8: Logic Synthesis for Low Power
 L. Benini, G. de Micheli. 9: Optimization of Synchronous Circuits
 S. Hassoun, T. Villa. 10: Asynchronous Control Circuits
 L. Lavagno, S.M. Nowick. 11: Ordered Binary Decision Diagrams
 R.E. Bryant, C. Meinel. 12: SAT and ATPG: Algorithms for Boolean Decision Problems
 W. Kunz, J. MarquesSilva, S. Malik. 13: Combinatorial and Sequential Equivalence Checking
 A. Kuehlmann, C.A.J. van Eijk. 14: Static Timing Analysis
 Y. Kukimoto, M. Berkelaar, K. Sakallah. 15: The Future of Logic Synthesis and Verification
 R.K. Brayton. Appendices: A: About the Authors. B: Author Contact Information. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
TK7868 .L6 L586 2002  Available 
 Cham, Switzerland : Springer, ©2010.
 Description
 Book — 1 online resource (xiv, 139 pages) : illustrations (some color)
 Summary

 Equivalence Classes of Boolean Functions Boolean Functions for Cryptography Boolean Differential Calculus Synthesis of Boolean Functions in Reversible Logic Data Mining Using Binary Decision Diagrams.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2010.
 Description
 Book — 1 electronic text (xiv, 139 p.) : ill.
 Summary

 Equivalence Classes of Boolean Functions Boolean Functions for Cryptography Boolean Differential Calculus Synthesis of Boolean Functions in Reversible Logic Data Mining Using Binary Decision Diagrams.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Cham, Switzerland : Springer, [2015]
 Description
 Book — 1 online resource (xvii, 105 pages) : illustrations
 Summary

 Preface Acknowledgments Introduction to ZeroSuppressed Decision Diagrams Efficient Generation of Prime Implicants and Irredundant SumofProducts Expressions The Power of EnumerationBDD/ZDDBased Algorithms for Tackling Combinatorial Explosion Regular Expression Matching Using ZeroSuppressed Decision Diagrams Authors' and Editors' Biographies Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
12. Representations of discrete functions [1996]
 Boston : Kluwer Academic, c1996.
 Description
 Book — xvi, 331 p. : ill. ; 25 cm.
 Summary

 1. GraphBased Representations of Discrete Functions. 2. Representations of Logic Functions Using Exor Operators. 3. Spectral Transform Decision Diagrams
 R.S. Stankovic, et al. 4. MultiTerminal Binary Decision Diagrams and Hybrid Decision Diagrams
 E.M. Clarke, et al. 5. Edge Valued Binary Decision Diagrams
 S.B.K. Vrudhula, et al. 6. Arithmetic Transform of Boolean Functions
 J. Jain. 7. OKFDDS  Algorithms, Applications and Extensions
 R. Drechsler, B. Becker. 8. Exact Minimization of FPRMs Using MultiTerminal Exor TDDs
 T. Sasao, F. Izuhara. 9. Multiple Domain Logic Synthesis
 J. Bullmann, U. Kebschull. 10. Satisfiability Problems for OFDDs
 R. Werchner, et al. 11. Complexity Theoretical Aspects of OFDDs
 B. Bollig, et al. 12. Ternary Decision Diagrams and Their Applications
 T. Sasao. 13. OrandOr ThreeLevel Networks
 T. Sasao.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
TK7874.75 .R47 1996  Available 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.