Synthesizing massive parallel simulation systems to estimate switching activity in finite state machines
نویسندگان
چکیده
This paper presents a methodology for automatic generation of massive parallel simulation systems to estimate the power consumption of sequential CMOS circuits. Based on a high level description of Finite State Machines C++ simulator code is being generated to estimate the power consumption of a CMOS based implementation. From a symbolic FSM description, a Monte Carlo simulation is used to estimate the average switching activity of all circuit components exercised according to user-supplied modelling parameters. Automatic generation of high parallel simulation systems with minimal communication between simulator instances as proposed in this paper allows the use of a wide range of target systems ranging from workstation to supercomputer. Due to the complexity of modern integrated circuits the use of massive parallel simulation systems up to several thousand microprocessors allows a highly efficient simulation of very large sequential circuits. Synthesizing massive parallel simulation systems to estimate switching activity in finite state machines Werner W. Bachmann , and Sorin A. Huss øø † Department of Computer Science, Integrated Circuits and Systems Laboratory Darmstadt University of Technology Alexanderstr. 10 64283 Darmstadt, Germany [email protected] †† Department of Computer Science, Integrated Circuits and Systems Laboratory Darmstadt University of Technology Alexanderstr. 10 64283 Darmstadt, Germany [email protected] Abstract This paper presents a methodology for automatic generation of massive parallel simulation systems to estimate the power consumption of sequential CMOS circuits. Based on a high level description of Finite State Machines C++ simulator code is being generated to estimate the power consumption of a CMOS based implementation. From a symbolic FSM description, a Monte Carlo simulation is used to estimate the average switching activity of all circuit components exercised according to user-supplied modelling parameters. Automatic generation of high parallel simulation systems with minimal communication between simulator instances as proposed in this paper allows the use of a wide range of target systems ranging from workstation to supercomputer. Due to the complexity of modern integrated circuits the use of massive parallel simulation systems up to several thousand microprocessors allows a highly efficient simulation of very large sequential circuits. This paper presents a methodology for automatic generation of massive parallel simulation systems to estimate the power consumption of sequential CMOS circuits. Based on a high level description of Finite State Machines C++ simulator code is being generated to estimate the power consumption of a CMOS based implementation. From a symbolic FSM description, a Monte Carlo simulation is used to estimate the average switching activity of all circuit components exercised according to user-supplied modelling parameters. Automatic generation of high parallel simulation systems with minimal communication between simulator instances as proposed in this paper allows the use of a wide range of target systems ranging from workstation to supercomputer. Due to the complexity of modern integrated circuits the use of massive parallel simulation systems up to several thousand microprocessors allows a highly efficient simulation of very large sequential circuits.
منابع مشابه
Restricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملAn Efficient Approach to Switching Activity Estimation in Finite State Machines
This paper presents a methodology for determining the average power consumption of sequential CMOS circuits based on a ‘high-level’ FSM description. Starting from a exercised symbolic FSM description, a Monte Carlo simulation is used to estimate the average switching activity of all circuit components. Depending on user-supplied modelling parameters this simulation system can be used as a ‘circ...
متن کاملSynthesizing Interacting Finite State Machines
We present a mathematical framework for analyzing the synthesis of interacting finite state systems. The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in sequential synthesis. We obtain exact and approximate sets of permissible FSM network behavior, and address the issue of FSM realizability. This approach is also applied to synthesizing systems with fairn...
متن کاملMonte Carlo Simulation to Compare Markovian and Neural Network Models for Reliability Assessment in Multiple AGV Manufacturing System
We compare two approaches for a Markovian model in flexible manufacturing systems (FMSs) using Monte Carlo simulation. The model which is a development of Fazlollahtabar and Saidi-Mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (AGV) namely, the reliability of machines and the reliability of AGVs in a multiple AGV jobsho...
متن کاملFinite Horizon Economic Lot and Delivery Scheduling Problem: Flexible Flow Lines with Unrelated Parallel Machines and Sequence Dependent Setups
This paper considers the economic lot and delivery scheduling problem in a two-echelon supply chains, where a single supplier produces multiple components on a flexible flow line (FFL) and delivers them directly to an assembly facility (AF). The objective is to determine a cyclic schedule that minimizes the sum of transportation, setup and inventory holding costs per unit time without shortage....
متن کامل