SystemVerilog assertions and functional coverage : guide to language, methodology and applications /: guide to language, methodology and applications. ([2016])

• Record Type: Book
• Further Information: Note: Ashok B. Mehta.
• Authors: Mehta, Ashok B
• Contents: Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions? Basics (sequence, property, assert) -- Sampled Value Functions $rose, $fell -- Operators -- System Functions and Tasks -- Multiple clocks -- Local Variables -- Recursive property -- Detecting and using endpoint of a sequence --?expect? --?assume? and formal (static functional) verification -- Other important topics -- Asynchronous Assertions!!! -- IEEE-1800?2009 Features -- SystemVerilog Assertions LABs -- System Verilog Assertions? LAB Answers -- Functional Coverage -- Performance Implications of coverage methodology -- Coverage Options.
• Edition: Second edition
• Publisher Details: Place of publication not identified : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 621.39/2; Engineering; Verilog (Computer hardware description language); Electronic digital computers -- Design and construction; Integrated circuits -- Verification; TECHNOLOGY & ENGINEERING -- Mechanical; Electronic digital computers -- Design and construction; Integrated circuits -- Verification; Verilog (Computer hardware description language); Technology & Engineering -- Electronics -- General; Computers -- Systems Architecture -- General; Electronics engineering; Computer architecture & logic design; Systems engineering; Electronics; Computer science; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319305394; 3319305395; 3319305387; 9783319305387
• Related ISBNs: 9783319305387
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed May 3, 2016).
• 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.