SystemVerilog assertion debugging: A visualization and pattern matching model.

Moaz MostafaMona SafarM. Watheq El-KharashiMohamed Dessouky
Published in: PACRIM (2015)