Description
You may receive an error such as "Error: Direction of module port 'rx_datain' in module 'alt2gxb' is not defined" in the Cadence Encounter Conformal software. This error occurs if a module that is a black box for formal verification corresponds to a module in the Quartus® II revised netlist that instantiates other lower-level modules. In this case, you must instruct the formal verification tool not to parse the lower-level modules in the revised netlist.
To avoid this problem, add the following command for the black box wrapper in the formal verification script file generated by the Quartus II software:add no translate <black box module name> -both