Controlling state explosion in static simulation by selective composition

Chakrabarti, P. P. ; Dasgupta, P. ; Das, P. P. ; Roy, A. ; Lahiri, S. ; Bose, M. (1999) Controlling state explosion in static simulation by selective composition In: Twelfth International Conference on VLSI Design 1999, 7-10 January 1999.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/document/745152/

Related URL: http://dx.doi.org/10.1109/ICVD.1999.745152

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.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
ID Code:101735
Deposited On:09 Mar 2018 10:18
Last Modified:09 Mar 2018 10:18

Repository Staff Only: item control page