Home > Community > Forums > Functional Verification > How to debug HAL check error messages?

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 How to debug HAL check error messages? 

Last post Thu, May 24 2007 6:58 AM by archive. 3 replies.
Started by archive 24 May 2007 06:58 AM. Topic has 3 replies and 1985 views
Page 1 of 1 (4 items)
Sort Posts:
  • Thu, May 24 2007 6:58 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    How to debug HAL check error messages? Reply

    Hi,

    I am trying to verify a VHDL-verilog mixed design with IFV 5.83-s003.  When I am trying to compile all the modules and entities, I am getting several error messages of the following kind,

    halcheck *E, STDPKG (filename): The IEEE package 'std_logic_arith' should not be used.
    USE IEEE.std_logic_arith.ALL;

    halcheck: *E, RTLNOP (filename): Primitive instances are not expected in an RTL design.
    mu1udp #0 MUX2_UDP0 (Y,S,A,B);

    I have identified that there is one verilog file which when added to the .f file creates this problem. Otherwise, formalbuild goes through well. However, as soon as I add this file, errors are flooded regarding the other VHDL files in the design. I cannot change the design and rectify these problems. I have to verify the design the way it is. What is the solution to this? Is there any way to disable HAL checks or change the severity from 'Error' to 'Warning' so that the formalbuild goes through?

    Thanks in anticipation.


    Originally posted in cdnusers.org by bijitm
    • Post Points: 0
  • Wed, May 30 2007 8:25 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: How to debug HAL check error messages? Reply

    Go ahead and contact a Cadence AE regarding this issue.  It will be your best course of action at this time.

    Regards,

    JB


    Originally posted in cdnusers.org by jb
    • Post Points: 0
  • Wed, May 30 2007 10:05 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: How to debug HAL check error messages? Reply

    Hi,

    You can turn off these HAL checks by switching these off in a local HAL definitions file and passing this local definitions file to 'ifv'. The local definitions file will be as follows:

    local.def:
    -----------------------
    include default

    params STDPKG {off}
    params RTNOP {off}
    ----------------------

    % ifv [other_options] +haldefines+./local.def

    Hope this helps!


    Originally posted in cdnusers.org by kanwars
    • Post Points: 0
  • Wed, May 30 2007 10:05 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: How to debug HAL check error messages? Reply

    Hi,

    You can turn off these HAL checks by switching these off in a local HAL definitions file and passing this local definitions file to 'ifv'. The local definitions file will be as follows:

    local.def:
    -----------------------
    include default

    params STDPKG {off}
    params RTLNOP {off}
    ----------------------

    % ifv [other_options] +haldefines+./local.def

    Hope this helps!


    Originally posted in cdnusers.org by kanwars
    • Post Points: 0
Page 1 of 1 (4 items)
Sort Posts:
Started by archive at 24 May 2007 06:58 AM. Topic has 3 replies.