Assert Submodule Assumptions
Remove Verification Statements
Remove Verification Statements
Replaces all verification statements in all modules with the empty statement. This is intended to be required by the Verilog emitter to ensure compatibility with the Verilog 2001 standard.
Convert Asserts
Convert Asserts
Replaces all Assert nodes with a gated print-and-stop. This effectively emulates the assert for IEEE 1364 Verilog.
Assert Submodule Assumptions
Converts
assume
statements toassert
statements in all modules except the top module being compiled. This avoids a class of bugs in which an overly restrictive assume in a child module can prevent the model checker from searching valid inputs and states in the parent module.