<Myrl-saki>
So it's halfway between nowidelut and abc widelut.
<Myrl-saki>
Thanks. :)
<lofty>
Which gives you the performance of ABC widelut (better, actually), while being noticeably less area
<Myrl-saki>
Yep! Because of routing and whatnot, right?
<Myrl-saki>
Thansk so much. ^^
<lofty>
Myrl-saki: no, because of whiteboxes (and because of delay information)
<Myrl-saki>
Ah
<Myrl-saki>
Because it actually knows more granular timings?
<Myrl-saki>
I read your post and abc works on unit delays?
<lofty>
yep
<lofty>
So a LUT8, a LUT4, and a LUT2 have equal delay :p
<lofty>
Obviously, given that a LUT2 can use the fastest inputs of a LUT4, and a LUT8 needs to go through a LUT4 and 4 layers of muxes
<lofty>
this isn't in the least bit realistic :p
<Myrl-saki>
Also, TIL about this: `Obviously, given that a LUT2 can use the fastest inputs of a LUT4` how does this work? I'm guessing it's decoder delay or something? Since LUT4s are basically 16-bit SRAMs, right?
<lofty>
They are, yes; where there's a mux tree to turn the 16 config bits into the 1 output bit
<lofty>
so the four inputs correspond to the four mux layers needed
<lofty>
and so the inputs will have differing propagation delay based on the number of mux layers that the signal has to go through
Guest32 has joined #yosys
<Guest32>
hello, is there a way to read environment variables from a native yosys synth script, or is TCL the only way to go here?
Guest32 has quit [Quit: Client closed]
<ZipCPU>
Perhaps you can read environment variables from an embedded Python script? That would make sense.
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #yosys
FabM has quit [Ping timeout: 272 seconds]
GenTooMan has quit [Ping timeout: 260 seconds]
GenTooMan has joined #yosys
GenTooMan has quit [Ping timeout: 255 seconds]
GenTooMan has joined #yosys
<jleightcap>
I have a circuit that's entirely combinational, and as I try to compile larger and larger versions, ABC takes a very long time
<jleightcap>
Is there any substitute that isn't as single-threaded?
<jleightcap>
I'm attempting `abc -fast` now, but without I stopped it after about 30 hours
<jleightcap>
Just `abc`, that is, so maybe `-fast` will be much better. Just waiting now.