Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

ICCD
1993
IEEE

favoriteEmaildiscussreport

94views Hardware» more ICCD 1993»

Symbolic Analysis Methods for Masks, Circuits, and Systems

13 years 11 months ago

Symbolic Analysis Methods for Masks, Circuits, and Systems

Download www.cs.cmu.edu

Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic representation, large and complex systems can be analyzed efﬁciently. This paper summarizes research in applying symbolic analysis methods to systems at several f abstraction.

Randal E. Bryant

Real-time Traffic

Hardware | ICCD 1993 | Paper Summarizes Research | Symbolic Analysis Methods | Symbolic Representation |

claim paper

Related Content

» A method of serial data jitter analysis using oneshot time interval measurements

» Hierarchical approach to exact symbolic analysis of large analog circuits

» Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits

» Soft Error Rate Analysis for Combinational Logic Using An Accurate Electrical Masking Mode...

» Symbolic analysis of analog circuits with hard nonlinearity

» Computation of minimal counterexamples by using black box techniques and symbolic methods

» Symbolic Controller Synthesis for Discrete and Timed Systems

» Symbolic Analysis of Nonlinear Analog Circuits

» Symbolic functional and timing verification of transistorlevel circuits

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1993
Where	ICCD
Authors	Randal E. Bryant

Comments (0)