Title :
Symbolic simulation-techniques and applications
Author :
Bryant, Randal E.
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
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;
Conference_Titel :
Design Automation Conference, 1990. Proceedings., 27th ACM/IEEE
Conference_Location :
Orlando, FL
Print_ISBN :
0-89791-363-9
DOI :
10.1109/DAC.1990.114910
