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