Natural Language Processing for Electronic Design Automation

1. Front Matter

   Pages i-vii

   PDF

2. (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications

   • Oliver Keszocze, Betina Keiner, Matthias Richter, Gottfried Antpöhler, Robert Wille

   Pages 1-11

3. Semi-Formalization of Requirements for Analogue/Mixed-Signal Products with Application in Automotive Domain

   • Liana Kampl

   Pages 13-35

4. Generation of Verification Artifacts from Natural Language Descriptions

   • Ian G. Harris, Christopher B. Harris

   Pages 37-70

5. Real-World Events Discovering with TWIST

   • Natalia Vanetik, Marina Litvak, Efi Levi

   Pages 71-107

6. Back Matter

   Pages 109-111

   PDF

This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions. This book brings together leading experts to explain the state-of-the-art in natural language processing, enabling designers to integrate these techniques into algorithms, through existing frameworks.

• Electronic System Level
• Formal Specification Level
• Formal Verification
• Natural Language Processing
• Software Abstraction
• Verification of Embedded Systems

• EPFL, Integrated Systems Laboratory, Lausanne, Switzerland

  Mathias Soeken

• AG Rechnerarchitektur, University of Bremen, Bremen, Germany

  Rolf Drechsler

Rolf Drechsler (F’15) received the Diploma and Dr.Phil.Nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Frankfurt, Germany, in 1992 and 1995, respectively.

From 1995 to 2000, he was at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany. From 2000 to 2001, he was at the Corporate Technology Department, Siemens AG, Munich, Germany. Since 2001, he has been at the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he became the Director of the Cyber-Physical Systems Group, German Research Center for Artificial Intelligence, Bremen. His current research interests include the development and design of data structures and algorithms, especially circuit and system design.

Mathias Soeken received the Ph.D. degree in computer science and engineering from the University of Bremen, Bremen, Germany, in 2013.

He is a Scientist with the École Polytechnique Fédéderale de Lausanne (EPFL), Lausanne, Switzerland. He is investigating constraint-based techniques in logic synthesis and industrial-strength design automation for quantum computing. His current research interests include the many aspects of logic synthesis and formal verification.

Dr. Soeken was a recipient of the scholarship from the German Academic Scholarship Foundation. He has been serving as a TPC member for several conferences, including DAC, DATE, and ICCAD and is a Reviewer for Mathematical Reviews as well as for several other journals.

 

 

Policies and ethics