Sciweavers

46 search results - page 10 / 10
» Cycle-based Simulation with Decision Diagrams
Sort
View
TCAD
2008
96views more  TCAD 2008»
13 years 3 months ago
An Implicit Approach to Minimizing Range-Equivalent Circuits
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
Yung-Chih Chen, Chun-Yao Wang