Languages, Design Methods, and Tools for Electronic System Design

1. Knowing Your AMS System’s Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation
Georg Gläser, Hyun-Sek Lukas Lee, Markus Olbrich, Erich Barke

2. Designing Reliable Cyber-Physical Systems
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Shlomit Koyfman, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

3. 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
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

4. Error-Based Metric for Cross-Layer Cut Determination
A. Rafiev, F. Xia, A. Iliasov, R. Gensh, A. Aalsaud, A. Romanovsky, A. Yakovlev

5. Feature-Based State Space Coverage Metric for Analog Circuit Verification
Andreas Fürtig, Sebastian Steinhorst, Lars Hedrich

6. Error-Free Near-Threshold Adiabatic CMOS Logic in the Presence of Process Variation
Yue Lu, Tom J. Kazmierski

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation