SAWD: Systemverilog Assertions Waveform-based Development tool

Author(s):
Ahmed Alsawi