added sva

Author: sifferman

fpga/dv/gpu/gpu_tb.sv

@@ -115,7 +115,8 @@ always @(negedge clk_12_5875) begin : check_pixel
     automatic logic [5:0] expected_pixel = gpugold_pixel(gpu.x_d, gpu.y_d);
     automatic logic [5:0] received_pixel = {gpu.r_d, gpu.g_d, gpu.b_d};
     if (!rst && gpu.drawing) begin
-        if (expected_pixel !== received_pixel) begin
+        assert (expected_pixel === received_pixel)
+        else begin
             $display(
                 "Failed (%0d,%0d) %0t: expected=%b received=%b text_valid=%b foreground_valid=%b ",
                 gpu.x_d, gpu.y_d, $realtime, expected_pixel, received_pixel, gpu.text_valid, gpu.foreground_valid

fpga/top.core

@@ -88,6 +88,7 @@ targets:
       verilator:
         verilator_options:
           - --binary
+          - --assert
           - -j 0
           - --trace-fst
           - --trace-structs
@@ -121,7 +122,7 @@ targets:
         mode: lint-only
         verilator_options:
           - -Wall
-          - --binary
+          - --timing
           - +1364-2005ext+v
           - +1800-2012ext+sv