-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tom Hawkins wrote: | I'm almost finished with my Icarus code generator. Just two more | questions: | | For synthesizable targets, how can the code generator determine if the | clock or asynchronous reset for an LPM_FF is sensitive on the positive | or negative edge? I tried a negedge FF, expecting to see a NOT gate | dropped into the final netlist, but no such luck. | | Also, are there any assertion capabilities built into Icarus? I'm not | sure if there is anything defined in the 2001 spec -- an $assert, maybe? | Ideally what I need is an IVL_LPM_ASSERT block that has similar | semantics as IVL_LPM_FF, except without the output data (q).
Nothing of the sort, sorry. Actually, assertions would be somewhat similar (in mechinism, if not appearence) to constraints in specify blocks.
| In case my posts haven't given it away, I'm working on a formal | verification plug-in.
You're going to be angry:-O but it is looking like post-0.8 the ivl_target API is going to change some. I'm going to be collapsing arrays of pins down to single pins that carry vector data. I'm looking towards considerably reducing the size of the netlist represented by ivl_target structures, and also allowing pins to carry arbitrary data types.
- -- 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.0.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFBiYQZrPt1Sc2b3ikRAnXnAJ9oJ73CsQ1Ytw7L9wSSZXFpwMQljQCeJ4v9 IB0C0fv4e9sCx2UKG52U5tw= =Jgmt -----END PGP SIGNATURE-----
