國立高雄大學圖資館 |

Language: English

Back

SystemVerilog assertions and functio...

Mehta, Ashok B.

SystemVerilog assertions and functional coverageguide to language, methodology and applications /

Record Type:	Electronic resources : Monograph/item
Title/Author:	SystemVerilog assertions and functional coverageby Ashok B. Mehta.
Reminder of title:	guide to language, methodology and applications /
Author:	Mehta, Ashok B.
Published:	Cham :Springer International Publishing :2016.
Description:	xxxv, 406 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Verilog (Computer hardware description language)
Online resource:	https://doi.org/10.1007/978-3-319-30539-4
ISBN:	9783319305394$q(electronic bk.)

SystemVerilog assertions and functional coverageguide to language, methodology and applications /
Mehta, Ashok B.

SystemVerilog assertions and functional coverageguide to language, methodology and applications /[electronic resource] :by Ashok B. Mehta. - 2nd ed. - Cham :Springer International Publishing :2016. - xxxv, 406 p. :ill., digital ;24 cm.

Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions - Basics (sequence, property, assert) -- Sampled Value Functions ose,

ISBN: 9783319305394$q(electronic bk.)

Standard No.: 10.1007/978-3-319-30539-4doiSubjects--Topical Terms:

182774
Verilog (Computer hardware description language)

LC Class. No.: TK7885.7

Dewey Class. No.: 621.392

SystemVerilog assertions and functional coverageguide to language, methodology and applications /
LDR:01644nmm a2200325 a 4500 001 548933
003 DE-He213
005 20190724113926.0
006 m d
007 cr nn 008maaau
008 190822s2016 gw s 0 eng d
020 $a 9783319305394$q(electronic bk.)
020 $a 9783319305387$q(paper)
024 7 $a 10.1007/978-3-319-30539-4 $2 doi
035 $a 978-3-319-30539-4
040 $a GP $c GP
041 0 $a eng
050 4 $a TK7885.7
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.392 $2 23
090 $a TK7885.7 $b .M498 2016
100 1 $a Mehta, Ashok B. $3 674857
245 1 0 $a SystemVerilog assertions and functional coverage $h [electronic resource] : $b guide to language, methodology and applications / $c by Ashok B. Mehta.
250 $a 2nd ed.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xxxv, 406 p. : $b ill., digital ; $c 24 cm.
505 0 $a Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions - Basics (sequence, property, assert) -- Sampled Value Functions $r ose, $f ell -- 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.
650 0 $a Verilog (Computer hardware description language) $3 182774
650 0 $a Electronic digital computers $x Design and construction. $3 190470
650 0 $a Integrated circuits $x Verification. $3 185514
650 1 4 $a Circuits and Systems. $3 274416
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 274412
650 2 4 $a Processor Architectures. $3 274498
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u https://doi.org/10.1007/978-3-319-30539-4
950 $a Engineering (Springer-11647)