Concept

SystemVerilog

Related publications (41)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux

This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be a ...

IEEE2009

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Using 3D Integration Technology To Realize Multi-Context Fpgas

Paolo Ienne, Yusuf Leblebici, Philip Brisk, Alessandro Cevrero, Hadi Parandeh Afshar, Maurizio Skerlj

This paper advocates the use of 3D integration technology to stack a DRAM on top of an FPGA. The DRAM will store future FPGA contexts. A configuration is read from the DRAM into a latch array on the DRAM layer while the FPGA executes; the new configuration ...

IEEE Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, NJ 08855-1331 USA2009

Using 3D integration technology to realize multi-context FPGAs

Paolo Ienne, Yusuf Leblebici, Philip Brisk, Alessandro Cevrero, Hadi Parandeh Afshar, Panagiotis Athanasopoulos, Maurizio Skerlj

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems

Alain Vachoux, Matteo Contaldo

This paper presents a modelling methodology for the top-down/bottom-up design of RF systems based on systematic use of VHDL-AMS models. The model interfaces are parameterizable and pin-accurate. The designer can choose to parameterize the models using perf ...

ECSI2009

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

Modeling embedded systems using SystemC extensions

Alain Vachoux

SystemC AMS extensions introduce new language constructs for the design of embedded analog/mixed-signal systems. This paper presents the novel modeling language for analog and mixed-signal functions that supports design and modeling of telecommunications, ...

2008

Soft-output sphere decoding: Algorithms and VLSI implementation

Andreas Peter Burg, Christoph Studer

Multiple-input multiple-output (MIMO) detection algorithms providing soft information for a subsequent channel decoder pose significant implementation challenges due to their high computational complexity. In this paper, we show how sphere decoding can be ...

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