SystemVerilog Assertions

Working in progress.