-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Tom Hawkins wrote: | I started to define the format for FNF: the future netlist format of | Confluence and InFormal. | | FNF is a flat netlist that retains hierarchical scoping. The netlist is | a directed graph of primitive RTL operations, called cells. Some basics: | - All cells have 0 or 1 outputs. | - All cells operate on bit vectors. | | The syntax definition is located here: | | http://www.confluent.org/wiki/doku.php?id=fnf:main | | (Steve, hopefully this aligns with Icarus synthesis, when you move it | from bits to vectors.)
It does indeed appear to jive well enough. You will eventually be a need for data type declarations, as I expect nets to eventually be typed.
| Shortly I will release an FNF generator for Icarus, followed by a | Verilog, VHDL, C, and NuSMV writer.
I think a generator for 0.8 will not be wasted, even though the 0.9 branch is changing the ivl_target API. The concepts will be similar enough. What I see in the FNF page you have so far is compatible with both.
This really starts to get interesting when there are translaters from FNF to vvp. I'm starting to imagine mixed language Verilog/schematics simulation, post synthesis simulation, et al. - -- 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
iD8DBQFBojxorPt1Sc2b3ikRAqRDAKC2fzm8AONQqFXnmClPZDTKis8jtACbBKQN E79Z7dIIlUc805Y192u0zEI= =rHuL -----END PGP SIGNATURE-----
