This pull request partially address the issue (https://github.com/PyHDI/Pyverilog/issues/87) as it adds support for
assert property (...), always @(...) begin assert (...); end,
assume property (...), always @(...) begin assume (...); end
Of course, some more work is needed in order to support @(posedge clk) inside the property.
This pull request partially address the issue (https://github.com/PyHDI/Pyverilog/issues/87) as it adds support for
assert property (...),always @(...) begin assert (...); end,assume property (...),always @(...) begin assume (...); endOf course, some more work is needed in order to support
@(posedge clk)inside the property.