000 00518nam a2200145Ia 4500
008 210311s9999 xx 000 0 und d
020 _a978-3-319-30539-4
100 _aAshok B. Mehta
245 0 _aSystemVerilog Assertions and Functional Coverage
260 _bSpringer
260 _c2016
650 _a"Engineering; Circuits and Systems; Electronics and Microelectronics, Instrumentation; Processor Architectures"
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-30539-4
942 _cEBOOK
999 _c36157
_d36157