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

9783030022143, 9783030022150

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions

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

10.1007/978-3-030-02215-0_6 ◽

2018 ◽

pp. 107-127

Author(s):

Arthur Kalsing ◽

Laurent Fesquet ◽

Chouki Aktouf

Keyword(s):

Consistency Checking

Download Full-text

Symbolic Simulation of Dataflow Synchronous Programs with Timers

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

10.1007/978-3-030-02215-0_3 ◽

2018 ◽

pp. 45-70

Author(s):

Guillaume Baudart ◽

Timothy Bourke ◽

Marc Pouzet

Keyword(s):

Symbolic Simulation

Download Full-text

Language and Hardware Acceleration Backend for Graph Processing

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

10.1007/978-3-030-02215-0_4 ◽

2018 ◽

pp. 71-88

Author(s):

Andrey Mokhov ◽

Alessandro de Gennaro ◽

Ghaith Tarawneh ◽

Jonny Wray ◽

Georgy Lukyanov ◽

...

Keyword(s):

Hardware Acceleration ◽

Graph Processing

Download Full-text

Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction

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

10.1007/978-3-030-02215-0_5 ◽

2018 ◽

pp. 89-105

Author(s):

Enrico Fraccaroli ◽

Francesco Stefanni ◽

Franco Fummi ◽

Mark Zwolinski

Keyword(s):

Analog Circuits ◽

Fault Analysis

Download Full-text

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

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

10.1007/978-3-030-02215-0_1 ◽

2018 ◽

pp. 1-23

Author(s):

Stefano Centomo ◽

Michele Lora ◽

Antonio Portaluri ◽

Francesco Stefanni ◽

Franco Fummi

Keyword(s):

Automatic Integration

Download Full-text

Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

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

10.1007/978-3-030-02215-0_2 ◽

2018 ◽

pp. 25-44

Author(s):

Vladimir Herdt ◽

Hoang M. Le ◽

Daniel Große ◽

Rolf Drechsler

Keyword(s):

Power Management ◽

Early Validation ◽

Virtual Prototypes ◽

Random Approach

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

A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions

Symbolic Simulation of Dataflow Synchronous Programs with Timers

Language and Hardware Acceleration Backend for Graph Processing

Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction

Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

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