00379nam a2200109Ia 4500008004100000020002200041041001200063100006800075245004500143260003200188650004900220231221s9999    xx            000 0 und d  a978-1-4419-6600-1  aEnglish  aEduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny 4aThe Power of Assertions in SystemVerilog  c2010bSpringer USaNew York  aCircuits and Systems; Electrical Engineering