[IEEE 2015 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) - Victoria, BC, Canada (2015.8.24-2015.8.26)] 2015 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) - SystemVerilog assertion debugging: A visualization and pattern matching model
Mostafa, Moaz, Safar, Mona, El-Kharashi, M. Watheq, Dessouky, MohamedYear:
2015
Language:
english
DOI:
10.1109/pacrim.2015.7334867
File:
PDF, 613 KB
english, 2015