Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048193035, 9789048193042

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

High Level Synthesis Using Operation Properties

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_11 ◽

2010 ◽

pp. 183-195 ◽

Cited By ~ 1

Author(s):

Jan Langer ◽

Ulrich Heinkel

Keyword(s):

High Level Synthesis ◽

High Level

Download Full-text

Checkpoint and Restore for SystemC Models

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_3 ◽

2010 ◽

pp. 41-57 ◽

Cited By ~ 3

Author(s):

Màrius Monton ◽

Jakob Engblom ◽

Christian Schröder ◽

Jordi Carrabina ◽

Mark Burton

Download Full-text

Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_9 ◽

2010 ◽

pp. 141-158 ◽

Cited By ~ 2

Author(s):

Monica Rafaila ◽

Christian Decker ◽

Christoph Grimm ◽

Georg Pelz

Keyword(s):

Design Of Experiments ◽

Automotive Electronics ◽

Silicon Verification

Download Full-text

Another Take on Functional System-Level Design and Modeling

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_6 ◽

2010 ◽

pp. 93-106 ◽

Cited By ~ 1

Author(s):

Tomasz Toczek ◽

Dominique Houzet ◽

Stéphane Mancini

Keyword(s):

Functional System ◽

System Level ◽

System Level Design ◽

Level Design

Download Full-text

IP-XACT Components with Abstract Time Characterization

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_1 ◽

2010 ◽

pp. 3-18 ◽

Cited By ~ 1

Author(s):

Frédéric Mallet ◽

Charles André ◽

Robert de Simone

Download Full-text

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

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_10 ◽

2010 ◽

pp. 159-179 ◽

Cited By ~ 1

Author(s):

Torsten Maehne ◽

Alain Vachoux ◽

Frédéric Giroud ◽

Matteo Contaldo

Keyword(s):

Top Down ◽

Bottom Up ◽

Rf Systems ◽

Modeling Methodology

Download Full-text

Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_4 ◽

2010 ◽

pp. 59-72 ◽

Cited By ~ 8

Author(s):

Martin Streubühr ◽

Jens Gladigau ◽

Christian Haubelt ◽

Jürgen Teich

Keyword(s):

Performance Modeling ◽

Architectural Exploration

Download Full-text

ISIS: Runtime Verification of TLM Platforms

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_13 ◽

2010 ◽

pp. 213-226 ◽

Cited By ~ 5

Author(s):

Luca Ferro ◽

Laurence Pierre

Keyword(s):

Runtime Verification

Download Full-text

MDE Support for HW/SW Codesign: A UML-based Design Flow

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_2 ◽

2010 ◽

pp. 19-37 ◽

Cited By ~ 1

Author(s):

Luis Gabriel Murillo ◽

Marcello Mura ◽

Mauro Prevostini

Keyword(s):

Design Flow

Download Full-text

A Re-Use Methodology for Formal SoC Protocol Compliance Verification

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s ◽

10.1007/978-90-481-9304-2_12 ◽

2010 ◽

pp. 197-212 ◽

Cited By ~ 1

Author(s):

Minh D. Nguyen ◽

Max Thalmaier ◽

Markus Wedler ◽

Dominik Stoffel ◽

Wolfgang Kunz ◽

...

Keyword(s):

Protocol Compliance ◽

Compliance Verification

Download Full-text

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’sLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

High Level Synthesis Using Operation Properties

Checkpoint and Restore for SystemC Models

Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics

Another Take on Functional System-Level Design and Modeling

IP-XACT Components with Abstract Time Characterization

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

Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs

ISIS: Runtime Verification of TLM Platforms

MDE Support for HW/SW Codesign: A UML-based Design Flow

A Re-Use Methodology for Formal SoC Protocol Compliance Verification

Lecture Notes in Electrical Engineering - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
Latest Publications