DocumentCode
2774984
Title
Symbolic simulation-techniques and applications
Author
Bryant, Randal E.
Author_Institution
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1990
fDate
24-28 Jun 1990
Firstpage
517
Lastpage
521
Abstract
Basic principles of symbolic simulation and its applications in formal circuit verification and automatic test generation are discussed. Historical perspective and recent activities in development of Boolean algebraic approaches, symbolic reasoning methods about continuous systems, and weak signal algebras are addressed
Keywords
Boolean functions; automatic testing; logic CAD; Boolean algebraic approaches; automatic test generation; continuous systems; formal circuit verification; symbolic reasoning; symbolic simulation; weak signal algebras; Application software; Circuit faults; Circuit simulation; Circuit testing; Computational modeling; Computer science; Computer simulation; Data structures; Formal verification; Logic testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1990. Proceedings., 27th ACM/IEEE
Conference_Location
Orlando, FL
ISSN
0738-100X
Print_ISBN
0-89791-363-9
Type
conf
DOI
10.1109/DAC.1990.114910
Filename
114910
Link To Document