Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319063164, 9783319063171

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Generation of Virtual Prototypes from Platform Templates

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_8 ◽

2014 ◽

pp. 147-166 ◽

Cited By ~ 1

Author(s):

Seyed Hosein Attarzadeh Niaki ◽

Marcus Mikulcak ◽

Ingo Sander

Keyword(s):

Automatic Generation ◽

Virtual Prototypes

Download Full-text

Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_6 ◽

2014 ◽

pp. 103-124 ◽

Cited By ~ 1

Author(s):

Franco Fummi ◽

Michele Lora ◽

Francesco Stefanni ◽

Sara Vinco

Keyword(s):

Embedded Systems ◽

Code Generation

Download Full-text

A New Assertion Property Language for Analog/Mixed-Signal Circuits

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_3 ◽

2014 ◽

pp. 45-65 ◽

Cited By ~ 3

Author(s):

Andrew N. Fisher ◽

Dhanashree Kulkarni ◽

Chris J. Myers

Keyword(s):

Mixed Signal ◽

Mixed Signal Circuits

Download Full-text

SystemC Modeling with Transaction Events

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_7 ◽

2014 ◽

pp. 127-146

Author(s):

Bastian Haetzer ◽

Martin Radetzki

Download Full-text

ProMARTES: Performance Analysis Method and Toolkit for Real-Time Systems

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_15 ◽

2014 ◽

pp. 281-302 ◽

Cited By ~ 2

Author(s):

Konstantinos Triantafyllidis ◽

Egor Bondarev ◽

Peter H. N. de With

Keyword(s):

Performance Analysis ◽

Real Time ◽

Real Time Systems ◽

Analysis Method ◽

Time Systems

Download Full-text

Optimal Component Selection for Energy-Efficient Systems

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_1 ◽

2014 ◽

pp. 3-20

Author(s):

Matthias Sauppe ◽

Thomas Horn ◽

Erik Markert ◽

Ulrich Heinkel ◽

Hans-Werner Sahm ◽

...

Keyword(s):

Energy Efficient ◽

Component Selection ◽

Selection For

Download Full-text

Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_4 ◽

2014 ◽

pp. 67-84

Author(s):

Dogan Ulus ◽

Alper Sen ◽

Faik Baskaya

Download Full-text

Assisting Refinement in System-on-Chip Design

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_2 ◽

2014 ◽

pp. 21-42

Author(s):

Hocine Mokrani ◽

Rabéa Ameur-Boulifa ◽

Emmanuelle Encrenaz-Tiphene

Keyword(s):

System On Chip ◽

Chip Design ◽

On Chip

Download Full-text

Fine-Grained Adaptive Simulation

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_12 ◽

2014 ◽

pp. 223-242

Author(s):

Marcus Eggenberger ◽

Martin Radetzki

Keyword(s):

Fine Grained ◽

Adaptive Simulation

Download Full-text

Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and Validation

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-06317-1_10 ◽

2014 ◽

pp. 189-206 ◽

Cited By ~ 1

Author(s):

Liyuan Zhang ◽

Michael Glaß ◽

Nils Ballmann ◽

Jürgen Teich

Keyword(s):

Model Transformation ◽

Matlab Simulink ◽

Simulink Model

Download Full-text

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Automatic Generation of Virtual Prototypes from Platform Templates

Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity

A New Assertion Property Language for Analog/Mixed-Signal Circuits

SystemC Modeling with Transaction Events

ProMARTES: Performance Analysis Method and Toolkit for Real-Time Systems

Optimal Component Selection for Energy-Efficient Systems

Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits

Assisting Refinement in System-on-Chip Design

Fine-Grained Adaptive Simulation

Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and Validation

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design
Latest Publications