Article ID: 000075817 Content Type: Error Messages Last Reviewed: 09/11/2012

Error: Direction of module port '' in module '<megafunction name>' is not defined

Environment

  • Verification
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    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

    Related Products

    This article applies to 1 products

    Stratix® II GX FPGA