Re: gEDA: Need help resolving a scheduling contradiction

[John Sanguinetti]

Steve, I ran the two tests on ncsim (!) and got the same result you got with Icarus. Looking at the two models, I'm not sure what the point of nblkpush is. Those are not non-blocking assignments, they are continuous assignments, and the situation that is set up is quite clearly a race condition. VCS would behave the same as ncsim (at least it did when I wrote that part of the code). There is no earthly justification for it to work the way this test expects it to. John On Jun 26, 2005, at 10:29 AM, Stephen Williams wrote: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 I'm doing some reworking on the Icarus Verilog scheduler, and ran into a pair of tests in the ivtest suite that seem to contradict each other. Therefore, I would like people with access to the tools to try out the attached two sample programs on a variety of tools. The attached programs try to test how the non-blocking assignment assignments are scheduled through a netlist. I believe that sched2 should pass and nblkpush should fail, but it would be best to take a vote amongst all the existing tools. For the record, sched2 passes and nblkpush fails Icarus Verilog 0.8. Thanks, - -- Steve Williams                "The woods are lovely, dark and deep. steve at icarus.com           But I have promises to keep, http://www.icarus.com         and lines to code before I sleep, http://www.picturel.com       And lines to code before I sleep." -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFCvuYNrPt1Sc2b3ikRArBYAJwKJBuMMLS0x6EF4IUwqZr3sieUUgCfb1Jz CJszkOx2v1GGMvXNHINBrVQ= =QKjC -----END PGP SIGNATURE-----   <nblkpush.v> <sched2.v>