Natural Language Processing for Electronic Design Automation. ([2020])

• Record Type: Book
• Further Information: Note: Mathias Soeken, Rofl Drechsler, editors.
• Editors: Soeken, Mathias; Drechsler, Rolf
• Contents: Intro -- Preface -- Contents -- 1 (Semi)automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications -- 1.1 Introduction -- 1.2 Considered Domain and Problem Formulation -- 1.3 Existing Solution -- 1.4 Proposed Solution -- 1.4.1 Normalizing EBM Rules -- 1.4.2 Exploitation of Regular Expressions -- 1.4.3 Exploitation of Natural Language Processing -- 1.5 Evaluation -- 1.6 Conclusion and Future Work -- References -- 2 Semi-Formalization of Requirements for Analogue/Mixed-Signal Products with Application in Automotive Domain 2.1 Introduction to Semi-Formalization of Requirements -- 2.1.1 Issues with Natural Language Requirements -- 2.1.2 Semi-Formal Representations of Requirements -- 2.1.3 Requirements Reuse -- 2.1.4 SysML-Based Approach to Requirements Semi-Formalization -- 2.2 Current Approaches of Requirement Representation -- 2.2.1 Natural Language Representation -- 2.2.2 Formal Representation -- 2.2.3 Semi-Formal Representation -- 2.3 Short Overview of SysML -- 2.4 Use Case: Semi-Formal Representation of Requirements for a Protected Power Switch -- 2.4.1 Application Description 2.4.2 Protected Power Switch Features -- 2.4.3 Modelling of Requirements -- 2.4.3.1 Hierarchical Organization of Requirements -- 2.4.3.2 Structural Modelling -- 2.4.3.3 Behavioural Modelling -- 2.4.3.4 Requirements Models Reuse -- 2.5 Conclusions -- References -- 3 Generation of Verification Artifacts from Natural Language Descriptions -- 3.1 Introduction -- 3.1.1 Verification Artifacts -- 3.1.2 Verification from Natural Language -- 3.1.3 Chapter Organization -- 3.2 Related Work -- 3.2.1 NLP for Hardware and Software Design -- 3.3 Issues in Formalizing Natural Language for Hardware 3.3.1 Computational Models -- 3.3.1.1 Structural Representation -- 3.3.1.2 Behavior Representation -- 3.3.1.3 Behavioral Constraints -- 3.3.2 Linguistic Variation -- 3.3.2.1 Linguistic Variation in Hardware Descriptions -- 3.4 Semantic Parsing -- 3.5 Generating Assertions -- 3.5.1 Attribute Grammars -- 3.5.2 System Overview -- 3.5.3 Attribute Grammar -- 3.5.3.1 Constants -- 3.5.3.2 Signals and Storage Elements -- 3.5.3.3 Events -- 3.5.3.4 Comparison Operations -- 3.5.3.5 Event Constraints -- 3.5.3.6 Boolean Logic -- 3.5.3.7 Implication -- 3.5.3.8 Assertion Sentences -- 3.5.4 Experimental Results 3.5.4.1 Benchmark Set -- 3.5.4.2 Results on Benchmarks -- 3.5.4.3 Limitations of Assertion Generation -- 3.6 Generating Transactors -- 3.6.1 Transactions and Transactors -- 3.6.1.1 Bus Transactors -- 3.6.2 System Overview -- 3.6.3 Transaction Concepts -- 3.6.3.1 Signal Definitions -- 3.6.3.2 Transaction References -- 3.6.3.3 Sequence Descriptions -- 3.6.3.4 Reading and Writing Signals -- 3.6.4 Information Extraction -- 3.6.4.1 Class Structure -- 3.6.4.2 Extraction Process -- 3.6.5 Transactor Generation -- 3.6.6 Experimental Results -- 3.7 Conclusions -- References
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 006.35; 621; Natural language processing (Computer science); Computer-aided engineering; Electronic circuits; Integrated circuits -- Computer-aided design; Electronics; Microelectronics; Physics; Applied and Technical Physics; Circuits and Systems; Electronics and Microelectronics, Instrumentation; Computer-Aided Engineering (CAD, CAE) and Design; Electronic books
• Languages: English
• ISBNs: 9783030522735; 3030522733
• Notes: Note: Includes bibliographical references and index.; Note: Description based on online resource; title from digital title page (viewed on October 16, 2020).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.