Publication

Supporting Dimensional Analysis in SystemC-AMS

Publications associées (39)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

On Decision Procedures for Algebraic Data Types with Abstractions

Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta

We describe a parameterized decision procedure that extends the decision procedure for functional recursive algebraic data types (trees) with the ability to specify and reason about abstractions of data structures. The abstract values are specified using r ...

2009

Development of a Bond Graph Based Model of Computation for SystemC-AMS

Yusuf Leblebici, Alain Vachoux

The modelling and simulation capabilities of SystemC-AMS concerning conservative continuous time systems involving the interaction of several physical domains and with digital control components are currently limited. Bond graphs unify the description of m ...

2008

SystemC-Based Modeling of Embedded Heterogeneous Systems

Alain Vachoux

SystemC is emerging as a de-facto standard for digital system design. Since embedded systems include more and more heterogeneous components (e.g., analog/RF front-ends, processor cores, embedded software, digital hardware, sensors, actuators), the need for ...

2008

Proposal to Extend SystemC-AMS with a Bond Graph Based Model of Computation

Yusuf Leblebici, Alain Vachoux, Torsten Mähne

There is a need to improve the modelling capabilities of SystemC-AMS concerning conservative continuous time systems involving the interaction of several physical domains and the interaction with digital control components. Bond graphs unify the descriptio ...

Fraunhofer Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung2007

Improvements for Constraint Solving in the SystemC Verification Library

For verification of complex system-on-chip designs often constraint-based randomization is used. This allows to simulate scenarios that may be difficult to generate manually. For the system description language SystemC the SystemC Verification (SCV) Librar ...

2007

A profiling framework for high level design space exploration for memory and system architectures

In 1971, the first microprocessor produced in mass production had 2300 transistor and was able to compute 60'000 operations per second at 740 kHz. Nowadays, even a common gaming console uses a central unit including 243 millions of transistors running at 4 ...

EPFL2007

Proposal for a Bond Graph Based Model of Computation in SystemC-AMS

Alain Vachoux, Torsten Mähne

SystemC-AMS currently offers modelling formalisms with specialised solvers mainly focussing on the electrical domain. There is a need to improve its modelling capabilities concerning conservative continuous time systems involving the interaction of several ...

ECSI2007

QEF – Supporting Complex Query Applications

Othman Tajmouati

This paper describes QEF a query evaluation framework designed to support complex applications on the grid. QEF has been extended to support querying within a number of different applications, including supporting scientific visualization and implementing ...

IEEE Computer Society2007

Compact Modeling of MOSFET in VHDL-AMS

Alain Vachoux, Christophe Lallement

In this chapter, we present the capabilities of the VHDL-AMS hardware description language for developing compact models. After a brief description of the VHDL-AMS language, we present two meaningful case studies on design oriented models of MOSFET. The fi ...

Springer2006

VHDL-AMS and Verilog-AMS as alternative hardware description languages for efficient modeling of multidiscipline systems

This paper focuses on commonalities and differences between the two mixed-signal hardware description languages VHDL-AMS and Verilog-AMS in the case of modeling heterogeneous or multi-discipline systems. The paper has two objectives. The first one consists ...

2005