LEADER 03619nam 22006255 450 001 9910427689303321 005 20200901010601.0 010 $a3-030-52273-3 024 7 $a10.1007/978-3-030-52273-5 035 $a(CKB)4100000011406856 035 $a(MiAaPQ)EBC6326369 035 $a(DE-He213)978-3-030-52273-5 035 $a(PPN)269144935 035 $a(EXLCZ)994100000011406856 100 $a20200831d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNatural Language Processing for Electronic Design Automation /$fedited by Mathias Soeken, Rolf Drechsler 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (115 pages) 311 $a3-030-52271-7 327 $aChapter 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. 330 $aThis 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. 606 $aPhysics 606 $aElectronic circuits 606 $aElectronics 606 $aMicroelectronics 606 $aComputer-aided engineering 606 $aApplied and Technical Physics$3https://scigraph.springernature.com/ontologies/product-market-codes/P31000 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 606 $aComputer-Aided Engineering (CAD, CAE) and Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I23044 615 0$aPhysics. 615 0$aElectronic circuits. 615 0$aElectronics. 615 0$aMicroelectronics. 615 0$aComputer-aided engineering. 615 14$aApplied and Technical Physics. 615 24$aCircuits and Systems. 615 24$aElectronics and Microelectronics, Instrumentation. 615 24$aComputer-Aided Engineering (CAD, CAE) and Design. 676 $a006.35 702 $aSoeken$b Mathias$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427689303321 996 $aNatural Language Processing for Electronic Design Automation$91882030 997 $aUNINA