[Transferred from ivl-bugs PR#699]
In the appended test (bug.v) the forced value of b
does not propagate through to the d result.
Test for the symptom
Logged In: YES
Bug persists in 0.8 release. Set group to devel.
The bug.v sample attached to this report has been added to
the ivtest suite as pr699.v.
pr529.v (attached) is a more elaborate test of a whole host
of force situations. This seems to cover the whole host of
issues. This test program was originally submitted by
More elaborate test from ivl-bugs pr#529
Another sample from ivl-bugs PR#587
The pr587.v file is from ivl-bugs PR#587, which is yet
another report that seems to stem from the same issue. The
submitter in that case was Aaron Holtzman
<email@example.com>. His original text was:
When I force a wire, the value doesn't propogate down to any
modules that are connected to that wire. Here is an example
to illustrate the problem
Tests pr587.v, pr529.v and pr699.v in the ivtest suite pass
as of the CVS main trunk of 26 Nov 2005. The last fix checked
in was for force l-values that are bit/part selects.
Log in to post a comment.