Title :
Symbolic simulation as a simplifying strategy for SoC verification
Author :
Dumitrescu, Emil ; Borrione, Dominique
Author_Institution :
TIMA Lab., Grenoble, France
Abstract :
The successful application of model-checking to industrial designs requires methods for reducing the complexity of the model. This paper presents an original strategy, for a well identified class of circuit behaviors; by running an appropriate symbolic simulation pattern before the actual proof of a temporal formula, an important FSM model simplification can be obtained. The actual model reduction step is formalized and illustrated. This method has been implemented within the CMU version of the SMV model checking tool and validated on a large industrial design.
Keywords :
circuit simulation; formal verification; integrated circuit design; symbolic substitution; system-on-chip; SoC verification; design model-checking; model checking tool; model reduction step; simplifying strategy; symbolic simulation; Automata; Boolean functions; Computational modeling; Conferences; Discrete event simulation; Input variables; Laboratories; Law; Real time systems; System-on-a-chip;
Conference_Titel :
System-on-Chip for Real-Time Applications, 2003. Proceedings. The 3rd IEEE International Workshop on
Print_ISBN :
0-7695-1944-X
DOI :
10.1109/IWSOC.2003.1213066
