Verification methodology manual for systemverilog / J. Bergeron [et al.], 2006 r=on-line. - Текст : электронный.