000 00494nam a2200145Ia 4500
008 191105s9999 xx 000 0 und d
020 _a9781441966001
100 _aEduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
245 4 _aThe Power of Assertions in SystemVerilog
260 _aGermany
_bSpringer
_c2014
536 _aManagement
650 _aThe Power of Assertions in SystemVerilog
856 _uhttp://link.springer.com/book/10.1007/978-1-4419-6600-1
942 _cE_BOOK
999 _c67452
_d67452