Closed saw235 closed 3 years ago
The following passes
module xyz(); always_comb begin z1: assert final (x == y || z); end endmodule
but just this fails
module xyz(); z1: assert final (x == y || z); endmodule
Even though assertions item is part of the module common item, which covers deferred_immediate_assertion_item Reference : ieee 1800-2017
Thank you for your fix in #178!
The following passes
but just this fails
Even though assertions item is part of the module common item, which covers deferred_immediate_assertion_item Reference : ieee 1800-2017