Title :
Computing timed transition relations for sequential cycle-based simulation
Author :
Cabodi, Gianpiero ; Camurati, Paolo ; Passerone, Claudio ; Quer, Stefano
Author_Institution :
Dipt. di Autom. e Inf., Politecnico di Torino, Italy
Abstract :
In this paper we address the problem of computing silent paths in an Finite State Machine (FSM). These paths are characterized by no observable activity under constant inputs, and can be used for a variety of applications, from verification, to synthesis, to simulation. First, we describe a new approach to compute the Timed Transition Relation of an FSM. Then, we concentrate on applying the methodology to simulation of reactive behaviours. In this field, we automatically extract a BDD-based behavioral model from the RT or gate level description. The behavioral model as able to “jump” in time and to avoid the simulation of internal events. Finally, we discuss a set of promising experimental results in a simulation environment under the Ptolemy simulator
Keywords :
binary decision diagrams; digital simulation; finite state machines; logic CAD; timing; BDD-based behavioral model; FSM silent paths computation; Ptolemy simulator; RT level description; RTL description; finite state machine; gate level description; reactive behaviour simulation; sequential cycle-based simulation; timed transition relations; Computational modeling;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location :
Munich
Print_ISBN :
0-7695-0078-1
DOI :
10.1109/DATE.1999.761090