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

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783319629193, 9783319629209

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Designing Reliable Cyber-Physical Systems

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

10.1007/978-3-319-62920-9_2 ◽

2017 ◽

pp. 15-38 ◽

Author(s):

Gadi Aleksandrowicz ◽

Eli Arbel ◽

Roderick Bloem ◽

Timon D. ter Braak ◽

Sergei Devadze ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Error-Based Metric for Cross-Layer Cut Determination

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

10.1007/978-3-319-62920-9_4 ◽

2017 ◽

pp. 59-82

Author(s):

A. Rafiev ◽

F. Xia ◽

A. Iliasov ◽

R. Gensh ◽

A. Aalsaud ◽

...

Keyword(s):

Download Full-text

Error-Free Near-Threshold Adiabatic CMOS Logic in the Presence of Process Variation

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

10.1007/978-3-319-62920-9_6 ◽

2017 ◽

pp. 103-114

Author(s):

Yue Lu ◽

Tom J. Kazmierski

Keyword(s):

Process Variation ◽

Download Full-text

On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study

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

10.1007/978-3-319-62920-9_3 ◽

2017 ◽

pp. 39-57

Author(s):

Vladimir Herdt ◽

Hoang M. Le ◽

Daniel Große ◽

Rolf Drechsler

Keyword(s):

Correspondence Analysis ◽

Fault Localization

Download Full-text

Feature-Based State Space Coverage Metric for Analog Circuit Verification

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

10.1007/978-3-319-62920-9_5 ◽

2017 ◽

pp. 83-101

Author(s):

Andreas Fürtig ◽

Sebastian Steinhorst ◽

Lars Hedrich

Keyword(s):

State Space ◽

Analog Circuit ◽

Circuit Verification ◽

Download Full-text

Knowing Your AMS System’s Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation

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

10.1007/978-3-319-62920-9_1 ◽

2017 ◽

pp. 1-14

Author(s):

Georg Gläser ◽

Hyun-Sek Lukas Lee ◽

Markus Olbrich ◽

Erich Barke

Keyword(s):

Model Refinement ◽

Acceptance Region ◽

Accelerated Simulation ◽

System Acceptance

Download Full-text