Published Articles >> Table of Contents >> Abstract

Design, Automation and Test in Europe (DATE '99)   p. 8
Computing Timed Transition Relations for Sequential Cycle-Based Simulation
Gianpiero Cabodi, Politecnico di Torino
Paolo Camurati, Politecnico di Torino
Claudio Passerone, Politecnico di Torino
Stefano Quer, Politecnico di Torino

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.1999.761090
Send link to a friend

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 behaviors. In this field, we automatically extract a BDD--based behavioral model from the RT or Gate Level description. The behavioral model is 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.
Back to Top Additional Information
Citation:  Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer, "Computing Timed Transition Relations for Sequential Cycle-Based Simulation," date, p. 8,  Design, Automation and Test in Europe (DATE '99),  1999