A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004.
ESys.Net, a new design environment under development at Université de Montréal proposes an elegant solution for modeling and simulation. ... This is a major enhancement to ESys.Net, since it allows designers to use it not only for modeling and simulation but also for verification. ... Despite such contributions, system designers still need new modeling and verification solutions. ...doi:10.1109/icm.2004.1434594 fatcat:pq2bbaewbvcrdfm74m77elumpm
Existing system level design languages and frameworks mainly provide a modeling and a simulation framework. ... However, for technology reuse and transfer, it is important to have a tidy infrastructure for interfacing the extension with the framework, such that the added solution is not highly coupled with the environment ... ESys.NET Framework and Introspection in SystemC ESys.NET  is a system level modeling and simulation environment using the .NET framework and C# language. ...doi:10.1109/tcad.2005.857315 fatcat:so6x5nh2iraqzez2tj33vrgwji
The ever increasing complexity of embedded systems leads to a constant strive for higher levels of abstraction. ... The proposed solution can be applied to a wide variety of project setups and requires only minimal adjustments to retrieve the necessary information. ... INTRODUCTION With the increasing complexity of embedded systems, corresponding design methods are constantly faced with new challenges. ...doi:10.1145/2660540.2660981 dblp:conf/sbcci/StoppeWD14 fatcat:atztafirybdujaugtmk5mwnu4m
We propose a new .NET Framework based system level modeling and simulation environment called Esys.NET (Embedded Systems Design with .NET). This environment respects all the requirements above. ... The main criteria that we used for the evaluation were the performance and the applicability for concrete systems modeling and simulation. ...doi:10.1109/date.2004.1268952 dblp:conf/date/LapalmeANCBDB04 fatcat:ausv74l6ojdbpjqm4duwbiswbu
This paper presents an environment for the high level description, refinement, synthesis and verification of such systems. ... Nevertheless, the main current challenge is to be able to design, refine, synthesize and verify new architectures in a minimum time and with a maximum computational performance regardless of the gate count ... All programs written in CASM are synthesizable, fully predictable and their execution conforms to the simulation. ...doi:10.1109/rsp.2005.26 dblp:conf/rsp/BergeronSFD05 fatcat:eo4m3imeqnfatmkhmuyh2j3tsm