Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler (Herausgeber)

Buch | Hardcover

VII, 111 Seiten

2020 | 1st ed. 2020
Springer International Publishing (Verlag)
978-3-030-52271-1 (ISBN)

Artikel merken

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.

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.

Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications.- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain.- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions.- Chapter 4. Real-world Events Discovering with TWIST.

Erscheinungsdatum	02.09.2020
Zusatzinfo	VII, 111 p. 68 illus., 35 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	337 g
Themenwelt	Naturwissenschaften ► Physik / Astronomie ► Angewandte Physik
Schlagworte	electronic system level • Formal Specification Level • Formal Verification • Natural Language Processing • Software abstraction • Verification of Embedded Systems
ISBN-10	3-030-52271-7 / 3030522717
ISBN-13	978-3-030-52271-1 / 9783030522711
Zustand	Neuware