Sciweavers

62 search results - page 13 / 13
» Extended resolution simulates binary decision diagrams
Sort
View
89
Voted
SCS
2003
15 years 29 days ago
A New Component Concept for Fault Trees
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
Bernhard Kaiser, Peter Liggesmeyer, Oliver Mä...
111
Voted
TCAD
2008
96views more  TCAD 2008»
14 years 11 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