Controlling state explosion in static simulation by selective composition

Author

Chakrabarti, P.P. ; Dasgupta, Pallab ; Das, P.P. ; Roy, Arnob ; Lahiri, Shuvendu ; Bose, Mrinal

Author_Institution

Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India

fYear

1999

fDate

7-10 Jan 1999

Firstpage

226

Lastpage

231

Abstract

Static simulation is a method to compile event driven simulations into a single composite state machine. Code generated based on this does not require the event management overheads of an event driven simulator resulting in significant speedup on this overhead. In this paper we present an implementation of static simulation, highlight the problems of pure static unfolding and suggest methods to control the possibility of state explosion. Specific methods suggested include special schemes for handling lumped delays, selective tracking, unclocking of individual blocks and partial composition

Keywords

circuit simulation; delays; digital simulation; finite state machines; logic simulation; event driven simulations; lumped delays; partial composition; pure static unfolding; selective composition; selective tracking; state explosion; static simulation; unclocking; Boolean functions; Circuit simulation; Data structures; Delay; Discrete event simulation; Explosions; Hardware design languages; Magnetic heads; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI Design, 1999. Proceedings. Twelfth International Conference On

Conference_Location

Goa

ISSN

1063-9667

Print_ISBN

0-7695-0013-7

Type

conf

DOI

10.1109/ICVD.1999.745152

Filename

745152