5 Hits in 2.2 sec

Enhancing ESys.Net with a semi-formal verification layer

N. Gorse, M. Metzger, J. Lapalme, E.M. Aboulhamid, Y. Savaria, G. Nicolescu
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

CARH: service-oriented architecture for validating system-level designs

H.D. Patel, D.A. Mathaikutty, D. Berner, S.K. Shukla
2006 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
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

Jannis Stoppe, Robert Wille, Rolf Drechsler
2014 Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14  
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

J. Lapalme, E.M. Aboulhamid, G. Nicolescu, L. Charest, F.R. Boyer, J.P. David, G. Bois
Proceedings Design, Automation and Test in Europe Conference and Exhibition  
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

E. Bergeron, X. Saint-Mleux, M. Feeley, J.P. David
16th IEEE International Workshop on Rapid System Prototyping (RSP'05)  
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