System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation

Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky. System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. In 15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014. pages 55-60, IEEE, 2014. [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