Controlling State Explosion in Static Simulation by Selective Composition

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by P.P. Chakrabarti Articles by Pallab Dasgupta Articles by P.P. Das Articles by Arnob Roy Articles by Shuvendu Lahiri Articles by Mrinal Bose

12th International Conference on VLSI Design - 'VLSI for the Information Appliance'

Goa, India

January 10-January 13

ISBN: 0-7695-0013-7

	ASCII Text	x
	P.P. Chakrabarti, Pallab Dasgupta, P.P. Das, Arnob Roy, Shuvendu Lahiri, Mrinal Bose, "Controlling State Explosion in Static Simulation by Selective Composition," VLSI Design, International Conference on, pp. 226, 12th International Conference on VLSI Design - 'VLSI for the Information Appliance', 1999.

	BibTex	x
	@article{ 10.1109/ICVD.1999.745152, author = {P.P. Chakrabarti and Pallab Dasgupta and P.P. Das and Arnob Roy and Shuvendu Lahiri and Mrinal Bose}, title = {Controlling State Explosion in Static Simulation by Selective Composition}, journal ={VLSI Design, International Conference on}, volume = {0}, year = {1999}, issn = {1063-9667}, pages = {226}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745152}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - VLSI Design, International Conference on TI - Controlling State Explosion in Static Simulation by Selective Composition SN - 1063-9667 SP EP A1 - P.P. Chakrabarti, A1 - Pallab Dasgupta, A1 - P.P. Das, A1 - Arnob Roy, A1 - Shuvendu Lahiri, A1 - Mrinal Bose, PY - 1999 VL - 0 JA - VLSI Design, International Conference on ER -

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745152

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.

Citation:

P.P. Chakrabarti, Pallab Dasgupta, P.P. Das, Arnob Roy, Shuvendu Lahiri, Mrinal Bose, "Controlling State Explosion in Static Simulation by Selective Composition," vlsid, pp.226, 12th International Conference on VLSI Design - 'VLSI for the Information Appliance', 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.