sva-assertions

Specialized skill for creating and debugging SystemVerilog assertions for FPGA verification