Stats

Locked Locked
Replies 3
Subscribers 63
Views 5231
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

problem with "REPORT RULE CHECK" command using conformal

Hi,

I am using Conformal version 16.1 to run rule checks and fix the issues. I am able to successfully read the design, and see the issues using "report rule check" command. I am also able to waive the occurrence by going to the HDL Rule Manager, right clicking the rule and clicking "waive Occurrence" . I want to save these waived occurrence for the future so that I do not have to deal with these in the future versions of my design. I can see there is a -WAIved switch in the "report rule check" command but the tool throws an error that the option is unknown. It happens for [-NOHidden | -HIDden | -WAIved | -NOWaived] switches only. The same can be seen if I try to use "write rule check" command to write the -WAIved issues and it complains that it is an unknown option. Please help what to do, either the help below is not correct, or I am not using it right. I have tried the exact case as it states below and I also tried small letters and capital letters but not help. I also tried TCL Mode using tclmode command and (report_rule_check with -waived parameter) but that fails aswell. I want to be able to waive issues, save them and apply it to the future version of designs to analyze only new problems. I tried the "man report rule check" and the output is written below.

SETUP> man report rule check
// Command: man report rule check

Parents

zohaibhassan over 6 years ago

I tried it from the GUI aswell, I opened the "Modeling Rule Manager" clicked the "File" to choose "write rule check" button and it had a drop-down selection to choose Occurrences to write and I choose "waived occurences, regargdless of filters". It ran a command (write rule check tmp.txt -waived -replace) in the console and failed to execute with an error "Error: Unknown argument: -waived". It certainly seems like a bug in the tool
Cancel
Vote Up 0 Vote Down

Cancel

Reply

zohaibhassan over 6 years ago

I tried it from the GUI aswell, I opened the "Modeling Rule Manager" clicked the "File" to choose "write rule check" button and it had a drop-down selection to choose Occurrences to write and I choose "waived occurences, regargdless of filters". It ran a command (write rule check tmp.txt -waived -replace) in the console and failed to execute with an error "Error: Unknown argument: -waived". It certainly seems like a bug in the tool
Cancel
Vote Up 0 Vote Down

Cancel

Children

philcasey over 6 years ago in reply to zohaibhassan

Thank you very much for the reply, I will work on the information you gave me.
Cancel
Vote Up 0 Vote Down

Cancel
zohaibhassan over 6 years ago in reply to philcasey

I found it that it is because of the low power license not being used, I used the switch "-lp" in the command as "lec -verify -lp -dofile ./lint.do" and it worked for me. I still wish that the tool was reporting me that I do not have the correct license instead of simply complaining about the "Unknown argument", even the help did not mention that some of the switches require special license.
Cancel
Vote Up 0 Vote Down

Cancel

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.