Verification methodology manual for SystemVerilog

od Bergeron, Janick., Cerny, Eduard., Hunter, Alan., Nightingale, Andy.
Izdano 2006

The power of assertions in systemVerilog

od Cerny, Eduard., Dudani, Surrendra., Havlicek, John., Korchemny, Dmitry.
Izdano 2010.