so-offish has quit [Read error: Connection reset by peer]
so-offish has joined #yosys
lexano has joined #yosys
Guest49 has joined #yosys
Guest49 has quit [Quit: Client closed]
Guest49 has joined #yosys
so-offishul has joined #yosys
so-offish has quit [Ping timeout: 246 seconds]
Psentee has quit [Quit: Off]
Psentee has joined #yosys
FabM has quit [Ping timeout: 255 seconds]
Psentee has quit [Quit: Off]
Psentee has joined #yosys
Psentee has quit [Client Quit]
so-offishul has quit [Quit: Leaving]
so-offish has joined #yosys
Psentee has joined #yosys
kristianpaul has quit [Ping timeout: 240 seconds]
kristianpaul has joined #yosys
Guest49 has quit [Quit: Client closed]
<philtor>
when running synth_lattice for machX03 I see the following results: Number of cells: 190, CCU2D 14, LUT4 113, TRELLIS_FF 63 (those last 3 add up to 190) - what is CCU2D in this context?
Psentee has quit [Quit: Off]
Psentee has joined #yosys
SpaceCoaster has quit [Ping timeout: 256 seconds]
<lofty>
philtor: a two-LUT4 SLICE in carry chain mode
<lofty>
The ECP5 has the CCU2C, but the C and D have inverted carry senses
<philtor>
Would I expect to see much difference between diamond synth results and yosys synth results?
<lofty>
Yosys is usually worse, but not that much worse. Easiest way to check is to just try building it with diamond.
<philtor>
(just trying to reassure coworker that yosys should be fine to use for a small machx03 design - ultimately in the 2100 LUT part)
<philtor>
Yeah, then I have to fire up diamond and figure out how to use it ;-)
<lofty>
Pfft
<lofty>
philtor: the machxo defaults focus more heavily on area than for ecp5; if there's a complaint about speed, there's plenty of headroom available
<philtor>
speed shouldn't be an issue for this project. Area is at a premium
<philtor>
There's nothing going at faster than 60Mhz here
<lofty>
... Yeah, well, you might be a little surprised how much some features help
<so-offish>
Hi everyone, I'm interested in using the Surelog->UHDM->Yosys flow to do more complete formal methods.
skipwich has quit [Ping timeout: 256 seconds]
SpaceCoaster has joined #yosys
Guest44 has joined #yosys
titan has joined #yosys
Guest44 has quit [Quit: Client closed]
<titan>
Hi. Does anyone manage to encode all fsm into bianry rather than one-hot?