Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Mathias Soeken , Rolf DrechslerPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2020 Weight: 0.454kg ISBN: 9783030522711ISBN 10: 3030522717 Pages: 111 Publication Date: 01 September 2020 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsChapter 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.ReviewsAuthor InformationRolf 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. Tab Content 6Author Website:Countries AvailableAll regions |
||||
