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.