Stats

  • Locked Locked
  • Replies 2
  • Subscribers 143
  • Views 13541
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

INTERNAL ERROR (BADRULE) in SKILL lint report

Eduardas
Hi, All

SKILL lint is run on:

Program: @(#)$CDS: virtuoso version 6.1.5 04/06/2012 20:54 (sjfdl235) $
Sub version: sub-version IC6.1.5.500.10 (32-bit addresses)

I get following in SKILL lint report file:

INTERNAL ERROR (BADRULE): .../myProg.il, line 27 (FuncName) :
    Error occurred while checking sort(lns 'lambda((a b) ((\& \& \&) > (\& \& \&)))):
    *Error* makeTable: argument #1 should be either a string or a symbol (type template = "Sgx") - lambda((a b) (length(a) > length(b)))
    Please file a bug report.

 
Actually, this line is: lns=sort(lns 'lambda((a b) greaterp(length(a) length(b))))

Can anybody take a look?


Regards, Eduardas

  • Eduardas,

    Rather coincidentally one of my colleagues created a solution in the last day or two on exactly the same problem.

    The Lint problem has been fixed in IC616, however, if you turn on the "Performance" switch on the SKILL Lint form, you'll get an output like this:

    HINT (LAMBDA1): ~/skill/forum.il, line 9 (bug) : lambda and nlambda statements do not need to be quoted : 'lambda((s1 s2) let((b1 b2) (b1 = (\& \& \&)) (b2 = (\& \& \&)) ...))

    The solution is to remove the ' before the lambda. It's not necessary, and without this SKILL Lint won't fail with the BADRULE error.

    Regards,

    Andrew.

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.