SAWD: Systemverilog Assertions Waveform-based Development Tool

Author(s):
Ahmed Alsawi