whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lexano has quit [Ping timeout: 240 seconds]
FabM has joined #yosys
FabM has joined #yosys
smkz has quit [Quit: smkz]
smkz has joined #yosys
Guest57 has joined #yosys
Guest57 has quit [Client Quit]
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?
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
titan has quit [Quit: Client closed]
peepsalot has quit [Quit: Connection reset by peep]
peepsalot has joined #yosys