How is it not an Icarus bug? Note that most other simulators behave.
-
-
Replying to @M_Labs_Ltd @oe1cxw
because (at least two years ago) Migen generated always(*) blocks that unconditionally updated signal values >>
1 reply 0 retweets 0 likes -
>> this scheduled other blocks, causing endless loops. Other sims were smart enough to break loops to different degrees
1 reply 0 retweets 0 likes -
modelsim (or vivado xsim. Don't remember) wasn't immune to this either. I had to manually fix up some generated code
2 replies 0 retweets 0 likes -
Replying to @OlofKindgren @oe1cxw
And you're just making the case against Verilog.
2 replies 1 retweet 1 like -
does migen compile to VHDL? Does any higher level abstraction language skip VHDL / Verilog and go straight to synthesis?
2 replies 0 retweets 0 likes -
We need a new IR language badly, but for now everything must go through verilog for tool compatibility
2 replies 3 retweets 6 likes -
Replying to @OlofKindgren @fpga_languages and
What kind of IR would you imagine? Like LLVM / WebAssembly IR?
1 reply 0 retweets 0 likes -
Replying to @wavedrom @OlofKindgren and
Imo this is a two-part problem: (1) a netlist format and (2) a standard cell library. The "industry solutions" would be EDIF and LPM. Both not very convincing solutions imo.
3 replies 0 retweets 1 like -
Replying to @oe1cxw @OlofKindgren and
How about the IR that can capture Higher Level Verilog constructs?
1 reply 0 retweets 1 like
Like unelaborated functions and generate blocks? Have no place in an IR imo. Too specific to a source language. (LLVM IR doesn't preserve things like C++ templates either, and that's a good thing. You want your IR simple and language-agnostic.)
-
-
Replying to @oe1cxw @OlofKindgren and
WebAssembly bytecode for example captures some structural features, like if-then-else, loop, switch. Also expressions. It is a bit higher then just netlist.
1 reply 0 retweets 0 likes -
Replying to @wavedrom @OlofKindgren and
But I wouldn't call them higher level constructs of any particular language. Please clarify which "Higher Level Verilog Constructs" you want to see preserved in an IR.
2 replies 0 retweets 0 likes - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.