Russian Microelectronics · 2013 · 13 citations · 12 references
EngineeringComputer EngineeringComputer SystemsIntellectual PropertyNanotechnologySimulation-based DesignDesign SimulationDevice SimulationIntellectual Property Performance MetricsInterval AnalysisNanodevice Simulation
The problems of logic and timing analysis, arising in the design and optimization stages of complex functional VLSI units, are considered. The new method of logic and timing simulation of CMOS circuits from interval estimates, which ensure the integration of two contrary approaches to solving the problem of the performance analysis, namely, the analysis of critical paths and simulation of test sequences, is proposed. The selection of the interval approach is determined by the substantial increase in specific weights of parameter variations of nanometer elements in the timing calculations.
12
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Global Optimization Using Interval Analysis.
Arnold Neumaier, Eldon Hansen · Mathematics of Computation · 1994 · 985 citations
The algebra of many-valued quantities
Rosalind Cecily Young · Mathematische Annalen · 1931 · 216 citations