The Power of Assertions in SystemVerilog
Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
The Power of Assertions in SystemVerilog - Springer eBooks 2010
9781441966001
The Power of Assertions in SystemVerilog - Springer eBooks 2010
9781441966001