SystemVerilog assertion debugging: A visualization and pattern matching model

Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky. SystemVerilog assertion debugging: A visualization and pattern matching model. In IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM 2015, Victoria, BC, Canada, August 24-26, 2015. pages 385-390, IEEE, 2015. [doi]

Authors

Moaz Mostafa

This author has not been identified. Look up 'Moaz Mostafa' in Google

Mona Safar

This author has not been identified. Look up 'Mona Safar' in Google

M. Watheq El-Kharashi

This author has not been identified. Look up 'M. Watheq El-Kharashi' in Google

Mohamed Dessouky

This author has not been identified. Look up 'Mohamed Dessouky' in Google