Menu
▾
▴
#297 Score fails coverage when using three state
The attached example uses three state testing (01x) and covered incorrectly reports that the test is not fully covered. If you configure the design to use only two state testing the coverage is 100%. This appears to be a bug in that covered should treat an X as no change from the previously defined value. When the X goes to a defined value and if it was different than the previously defined value then we should get a toggle in that direction. I remember having a problem like this in the past with covered that was fixed, so I'm assuming this is a related, but different bug. I am using version 0.7.7.
Let me know if you need more information.
Example file and run script.
I have attached a bug fix patch for this issue which will be generally available in the 0.7.8 stable release of Covered.
Bug fix patch
Thanks Trevor!
That fixed my real circuit as well. It's still not 100%, but I know that I don't have everything covered yet. There are still a couple of fails that I had not expected that I need to figure out.
Cary
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).