From: Stephen W. <st...@ic...> - 2008-01-25 18:49:03
|
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Steven Wilson wrote: > Okay - I'm subscribed as a lurker on the iverilog-devel list. Moving this conversation there, then, because it is of general interesting I think. > There are certainly some things I like right away [about system Verilog]. > while others seem > pointless (logic versus reg..) The tutorial I read said the justification > for logic - "It's just better." "logic" and "reg", and also "bool" types should be entirely doable. In fact, Icarus Verilog already supports logic and bool somewhat, and also allows for real value nets as well in places that Verilog does not. We are busy working on fixing bugs there, though. It would be pretty kool too to add support for enumerations all the way through to the gtkwave viewer. That would solve a problem that a *lot* of Verilog users gripe about: Marking traces with useful names. > I particularly like always_ff, always_comb, and always_latch. This is from > a "How did that latch get there" point of view in synthesis. Entirely doable in Icarus Verilog. They can also be used to constrain user expectations and thus lead to better warnings from the compiler. I personally support adding those statements. - -- 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.4.2 (GNU/Linux) Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org iD8DBQFHmi8krPt1Sc2b3ikRAl4wAKDoGdn8n61t7XzI2XxGdBDqVACWCQCgr6xz ZBFcYxinIhyrKOGcTl418T8= =5eGv -----END PGP SIGNATURE----- |
From: Anthony J B. <net...@nc...> - 2008-01-26 08:24:37
Attachments:
vcd.dmp
|
On Fri, 25 Jan 2008, Stephen Williams wrote: > We are busy working on fixing bugs there, though. It would be pretty > kool too to add support for enumerations all the way through to the > gtkwave viewer. That would solve a problem that a *lot* of Verilog > users gripe about: Marking traces with useful names. The viewer's supported strings in vcd files for years. See the attached file. Obviously, whatever the datatype is for enum/string/whatever can be properly handled in the $var declarations once they're defined. The only limitation is no spaces, but proxy characters or escapes can fix that easily. So unless you're planning on doing something wacky, it should be quite painless. Note that all the gtkwave-specific filetypes support strings natively though none of the vcd converters can handle them yet. -t |
From: Stephen W. <st...@ic...> - 2008-01-26 17:27:36
|
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Anthony J Bybell wrote: > On Fri, 25 Jan 2008, Stephen Williams wrote: > >> We are busy working on fixing bugs there, though. It would be pretty >> kool too to add support for enumerations all the way through to the >> gtkwave viewer. That would solve a problem that a *lot* of Verilog >> users gripe about: Marking traces with useful names. > > The viewer's supported strings in vcd files for years. See the attached > file. Obviously, whatever the datatype is for enum/string/whatever can be > properly handled in the $var declarations once they're defined. The only > limitation is no spaces, but proxy characters or escapes can fix that > easily. Yeah, I know you've got string support in gtkwave and that may be a great way to support symbolic enums. I haven't thought it through because there's always something else to do:-/ I see that Cary is getting gtkwave doing nifty-magical waveform things, too, so it all seems to be working well together. - -- 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.4.2 (GNU/Linux) Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org iD8DBQFHm22LrPt1Sc2b3ikRAnm8AKCi2QQvkQXtPnr5975YN4JL7MUq7ACdEM0V 6debPqd9Sl7FAb7ty+Ks87g= =iExa -----END PGP SIGNATURE----- |
From: Anthony J B. <net...@nc...> - 2008-01-26 21:13:56
|
On Sat, 26 Jan 2008, Stephen Williams wrote: > Yeah, I know you've got string support in gtkwave and that may > be a great way to support symbolic enums. I haven't thought it > through because there's always something else to do:-/ I hear you. I'm tasked working on two projects at work. > I see that Cary is getting gtkwave doing nifty-magical waveform > things, too, so it all seems to be working well together. Yeah, lately it's been reworking of the user interface and analog rendering code such that the view looks and acts like most mainstream gtk apps. The 3.1.4 ("pi") release should cover most long-standing user complaints after which I'm sure users will come up with a host of new "while you're at it..." ones, but none can ever be as dreaded as users asking for "reload". Fortunately, google bailed me out on that one. =) -Tony |
From: Cary R. <cy...@ya...> - 2008-01-26 21:36:20
|
--- Stephen Williams <st...@ic...> wrote: > I see that Cary is getting gtkwave doing nifty-magical waveform > things, too, so it all seems to be working well together. Tony's doing most of the real work! I'm only providing guidance/suggestions and a few example files. Though I do agree it is starting to look really nice! Cary ____________________________________________________________________________________ Never miss a thing. Make Yahoo your home page. http://www.yahoo.com/r/hs |