SEAMS - A systemC environment with analog and mixed-signal extensions

We describe an efficient implementation of analog and mixed-signal extensions integrated with SystemC 2.0. SEAMS (SystemC Environment with Analog and Mixed-Signal extensions) uses a general-purpose analog solver to handle analog extensions and to provide modelling capabilities for general, mixed-mode systems with digital and non-linear analog behavior. We have extended the SystemC 2.0 kernel to invoke and synchronize our analog solver in each simulation cycle while maintaining compliance with the SystemC simulation cycle semantics. The operation of SEAMS is illustrated with the practical examples of a boost power converter and a 2GHz phase-lock loop frequency multiplier with noise and jitter models. Mixed-signal systems of this kind are known to be difficult to simulate as they exhibit disparate time scales which put most simulators in numerical difficulties. We hope that the practical experience of SEAMS might aid the recent efforts to standardize analog and mixed-signal extensions for SystemC

SEAMS- A SYSTEMC ENVIRONMENT WITH ANALOG AND MIXED-SIGNAL EXTENSIONS

We describe an efficient implementation of analog and mixedsignal extensions integrated with SystemC 2.0. SEAMS (SystemC Environment with Analog and Mixed-Signal extensions) uses a general-purpose analog solver to handle analog extensions and to provide modelling capabilities for general, mixed-mode systems with digital and non-linear analog behavior. We have extended the SystemC 2.0 kernel to invoke and synchronize our analog solver in each simulation cycle while maintaining compliance with the SystemC simulation cycle semantics. The operation of SEAMS is illustrated with the practical examples of a boost power converter and a 2GHz phase-lock loop frequency multiplier with noise and jitter models. Mixed-signal systems of this kind are known to be difficult to simulate as they exhibit disparate time scales which put most simulators in numerical difficulties. We hope that the practical experience of SEAMS might aid the recent efforts to standardize analog and mixed-signal extensions for SystemC. 1

A Model of Computation for Reconfigurable Systems

The dissertation introduces RecDEVS, a model of computation for reconfigurable hardware systems. Existing computational models for conventional hardware structures are not suited very well to model the dynamic behavior of reconfigurable systems. This work first systematically investigates the requirements that are necessary to properly model reconfigurable systems. Then, the Discrete Event System Specification (DEVS) formalism is extended into RecDEVS, a formalism capable of modeling reconfigurable systems. It is then demonstrated how RecDEVS can be utilized to do a a model based design flow that eases system verification