%0 Book
%A Eduard Cerny ... ]et al.[
%T The power of assertions in system verilog
%U /book/77824740/The-power-of-assertions-in-system-verilog/