The Power of Assertions in SystemVerilog - Cerny, Eduard; Dudani, Surrendra; Havlicek, John.; Korchemny, Dmitry; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Engineering; Computer engineering; Systems engineering; Engineering; Circuits and Systems; Electrical Engineering