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 application/pdf.
Filters
Enhancing ESys.Net with a semi-formal verification layer
Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004.
Preserved Fulltext
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
CARH: service-oriented architecture for validating system-level designs
2006
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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 [21] is a system level modeling and simulation environment using the .NET framework and C# language. ...
doi:10.1109/tcad.2005.857315
fatcat:so6x5nh2iraqzez2tj33vrgwji
Validating SystemC Implementations Against Their Formal Specifications
2014
Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
.NET framework - a solution for the next generation tools for system-level modeling and simulation
Proceedings Design, Automation and Test in Europe Conference and Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
High Level Synthesis for Data-Driven Applications
16th IEEE International Workshop on Rapid System Prototyping (RSP'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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