"The Power of Assertions in SystemVerilog" - читать интересную книгу автора (Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny)