Searching for "Logic Synthesis and Design Verification." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Efficient Variable Ordering Heuristics for Shared ROBDD
- … for representing boolean functions. ROBDDs have played an important role in logic synthesis, design verification…
- Cited by 13 (1 self) – Add To MetaCart
-
Incremental Methods for Formal Verification and Logic Synthesis
- … verification and logic synthesis. Design verification is the process of checking if the design satisfies all…
- Cited by 5 (0 self) – Add To MetaCart
-
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible
- … verification, and for design for test (DFT) issues. In logic synthesis, partially redundant logic may use…
- Cited by 1 (1 self) – Add To MetaCart
-
Embedded Computing: New Directions in Architecture and Automation
- … that it may contain, performing hardware-software partitioning, logic synthesis, design verification and…
- Cited by 10 (0 self) – Add To MetaCart
-
Resource Estimation for Parallel Architectures with Distributed Processor/Memory Nodes
- … Engineering at the University of Arkansas. His research interests include logic synthesis, design verification…
- Add To MetaCart
Showing 1 through 5.
