Natural Language Processing for Electronic Design Automation
Editat de Mathias Soeken, Rolf Drechsleren Limba Engleză Hardback – sep 2020
Preț: 370.78 lei
Nou
Puncte Express: 556
Preț estimativ în valută:
70.96€ • 74.86$ • 59.14£
70.96€ • 74.86$ • 59.14£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030522711
ISBN-10: 3030522717
Pagini: 111
Ilustrații: VII, 111 p. 68 illus., 35 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.35 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030522717
Pagini: 111
Ilustrații: VII, 111 p. 68 illus., 35 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.35 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
Cuprins
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.
Notă biografică
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.
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.
Textul de pe ultima copertă
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.
- Serves as a single-source reference to natural language processing for electronic design automation;
- Provides techniques that can be used without a deep understanding of computer linguistics;
- Includes illustrative examples that make it easy to apply the techniques presented to the reader’s own design flow.
Caracteristici
Serves as a single-source reference to natural language processing for electronic design automation Provides techniques that can be used without a deep understanding of computer linguistics Includes illustrative examples that make it easy to apply the techniques presented to the reader’s own design flow