[图书][B] Switching theory for logic synthesis
T Sasao - 2012 - books.google.com
Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic
synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation …
synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation …
[图书][B] The VLSI handbook
WK Chen - 1999 - taylorfrancis.com
Over the years, the fundamentals of VLSI technology have evolved to include a wide range
of topics and a broad range of practices. To encompass such a vast amount of knowledge …
of topics and a broad range of practices. To encompass such a vast amount of knowledge …
[图书][B] Reversible computing: fundamentals, quantum computing, and applications
A De Vos - 2011 - books.google.com
Written by one of the few top internationally recognized experts in the field, this book
concentrates on those topics that will remain fundamental, such as low power computing …
concentrates on those topics that will remain fundamental, such as low power computing …
Fast heuristic minimization of exclusive-sums-of-products
A Mishchenko, M Perkowski - 2001 - pdxscholar.library.pdx.edu
Abstract Exclusive-Sums-Of-Products (ESOPs) play an important role in logic synthesis and
design-for-test. This paper presents an improved version of the heuristic ESOP minimization …
design-for-test. This paper presents an improved version of the heuristic ESOP minimization …
Ternary decision diagrams. Survey
T Sasao - Proceedings 1997 27th International Symposium on …, 1997 - ieeexplore.ieee.org
This paper surveys seven types of TDDs: General-TDD, SOP-TDD, ESOP-TDD, AND-TDD,
prime-TDD, EXOR-TDD, and Kleene-TDD. We give new definitions for SOP-TDDs and …
prime-TDD, EXOR-TDD, and Kleene-TDD. We give new definitions for SOP-TDDs and …
[PDF][PDF] On algorithmic verification methods for probabilistic systems
C Baier - 1998 - researchgate.net
Parallel systems (such as operating systems, telecommunication systems, aircraft controlling
systems, banking systems, etc.) arise in many industrial applications. For applications where …
systems, banking systems, etc.) arise in many industrial applications. For applications where …
[图书][B] Spectral logic and its applications for the design of digital devices
MG Karpovsky, RS Stankovic, JT Astola - 2008 - books.google.com
Spectral techniques facilitate the design and testing of today's increasingly complex digital
devices There is heightened interest in spectral techniques for the design of digital devices …
devices There is heightened interest in spectral techniques for the design of digital devices …
A new heuristic algorithm for reversible logic synthesis
P Kerntopf - Proceedings of the 41st annual Design Automation …, 2004 - dl.acm.org
Reversible logic has applications in many fields, including quantum computing. Synthesis
techniques for reversible circuits are not well developed, even for functions with a small …
techniques for reversible circuits are not well developed, even for functions with a small …
[图书][B] Decision diagram techniques for micro-and nanoelectronic design handbook
SN Yanushkevich, DM Miller, VP Shmerko… - 2018 - taylorfrancis.com
Decision diagram (DD) techniques are very popular in the electronic design automation
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …
[图书][B] Logic functions and equations
C Posthoff, B Steinbach, C Posthoff, B Steinbach - 2004 - Springer
We will introduce now one of the core concepts—logic functions. We want to draw the
attention of the reader to the fact that many other names are used synonymously, like …
attention of the reader to the fact that many other names are used synonymously, like …