DocumentCode :
2755995
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
fYear :
1999
fDate :
1999
Firstpage :
8
Lastpage :
12
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 1999. Proceedings
Conference_Location :
Munich
Print_ISBN :
0-7695-0078-1
Type :
conf
DOI :
10.1109/DATE.1999.761090
Filename :
761090
Link To Document :
بازگشت