Controlling state explosion in static simulation by selective composition

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013) Pub Date : 1999-01-10 DOI:10.1109/ICVD.1999.745152

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

引用次数: 2

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

用选择性成分控制静态模拟中的状态爆炸

静态模拟是一种将事件驱动的模拟编译成单个组合状态机的方法。基于此生成的代码不需要事件驱动模拟器的事件管理开销，从而显著提高了此开销。在本文中，我们提出了静态模拟的实现，强调了纯静态展开的问题，并提出了控制状态爆炸可能性的方法。建议的具体方法包括处理集总延迟的特殊方案、选择性跟踪、单个块的解锁和部分合成。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

自引率

0.00%

发文量

期刊最新文献

Improved effective capacitance computations for use in logic and layout optimization Assignment and reordering of incompletely specified pattern sequences targetting minimum power dissipation FzCRITIC-a functional timing verifier using a novel fuzzy delay model Verifying Tomasulo's algorithm by refinement Superscalar processor validation at the microarchitecture level