Concept

Verilog

Related publications (58)

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.

Model Checking of Consensus Algorithms

André Schiper

We show for the first time that standard model checking allows one to completely verify asynchronous algorithms for solving consensus, a fundamental problem in fault-tolerant distributed computing. Model checking is a powerful verification methodology base ...

2006

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

Modeling and Simulation of Multi-Discipline Systems using Bond Graphs and VHDL-AMS

Alain Vachoux, Christophe Lallement

Bond graphs represent a convenient tool for physical system analysis. While it is one part of the job to establish a pertinent bond graph model, it is another important part of the job to take advantage of this bond graph. A simulation tool is involved and ...

2005

Towards Analog and Mixed-Signal SOC Design with SystemC-AMS

Alain Vachoux

Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or actuators. The increasing level of complexity for designing SoCs in a reasonable ...

2004

The Definition of Transitive Closure with OCL - Limitations and applications

The Object Constraint Language (OCL) is based on rst- order logic and set theory. As the most well-known application, OCL is used to formulate well-formedness rules in the UML metamodel. Here, the transitive closure of a relationship is de ned in terms of ...

2003

Analog and Mixed-Signal Modelling with SystemC-AMS

Alain Vachoux

SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This paper introduces concepts for the extension of the SystemC methodology for the ...

2003

SystemC-AMS Requirements, Design Objectives and Rationale

Alain Vachoux

This paper presents and discusses the foundations on which the analog and mixed-signal extensions of SystemC, named SystemC-AMS, will be developed. First, requirements from targeted application domains are identified. These are then used to derive design o ...

2003

Capacitive detection method evaluation physical parameter extraction from finite element for silicon accelerometer by simulations

Philippe Renaud

A capacitance evaluation method based on the extraction of physical parameters from finite element (FE) analysis is presented. Mechanical simulations and this capacitance evaluation method were applied to a new, highly symmetrical, silicon accelerometer in ...

1997