| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 01:39 | |
| *** FabM <FabM!~FabM@2a03:d604:10a:9a00:f4be:37d9:b762:70ba> has joined #yosys | 06:13 | |
| *** smkz <smkz!~x@user/smkz> has quit IRC (Quit: smkz) | 06:28 | |
| *** smkz <smkz!~x@user/smkz> has joined #yosys | 06:38 | |
| *** Guest57 <[email protected]> has joined #yosys | 09:02 | |
| *** Guest57 <[email protected]> has quit IRC (Client Quit) | 09:03 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::1c> has quit IRC (Read error: Connection reset by peer) | 09:44 | |
| *** so-offish <[email protected]> has joined #yosys | 09:44 | |
| *** lexano <[email protected]> has joined #yosys | 11:20 | |
| *** Guest49 <[email protected]> has joined #yosys | 12:19 | |
| *** Guest49 <[email protected]> has quit IRC (Quit: Client closed) | 12:58 | |
| *** Guest49 <[email protected]> has joined #yosys | 13:37 | |
| *** so-offishul <so-offishul!~so-offish@2610:148:610:2b10::7d> has joined #yosys | 16:22 | |
| *** so-offish <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 16:25 | |
| *** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off) | 16:27 | |
| *** Psentee <Psentee!~psentee@user/psentee> has joined #yosys | 16:28 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 255 seconds) | 16:42 | |
| *** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off) | 16:46 | |
| *** Psentee <Psentee!~psentee@user/psentee> has joined #yosys | 16:46 | |
| *** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Client Quit) | 16:50 | |
| *** so-offishul <so-offishul!~so-offish@2610:148:610:2b10::7d> has quit IRC (Quit: Leaving) | 16:52 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::7d> has joined #yosys | 16:52 | |
| *** Psentee <Psentee!~psentee@user/psentee> has joined #yosys | 16:52 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 240 seconds) | 17:02 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 17:03 | |
| *** Guest49 <[email protected]> has quit IRC (Quit: Client closed) | 17:04 | |
| 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? | 17:28 |
|---|---|---|
| *** Psentee <Psentee!~psentee@user/psentee> has quit IRC (Quit: Off) | 17:34 | |
| *** Psentee <Psentee!~psentee@user/psentee> has joined #yosys | 17:36 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has quit IRC (Ping timeout: 256 seconds) | 18:01 | |
| lofty | philtor: a two-LUT4 SLICE in carry chain mode | 18:21 |
| lofty | The ECP5 has the CCU2C, but the C and D have inverted carry senses | 18:22 |
| philtor | Would I expect to see much difference between diamond synth results and yosys synth results? | 18:24 |
| lofty | Yosys is usually worse, but not that much worse. Easiest way to check is to just try building it with diamond. | 18:25 |
| philtor | (just trying to reassure coworker that yosys should be fine to use for a small machx03 design - ultimately in the 2100 LUT part) | 18:25 |
| philtor | Yeah, then I have to fire up diamond and figure out how to use it ;-) | 18:25 |
| lofty | Pfft | 18:26 |
| 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 | 18:27 |
| philtor | speed shouldn't be an issue for this project. Area is at a premium | 18:28 |
| philtor | There's nothing going at faster than 60Mhz here | 18:29 |
| lofty | ... Yeah, well, you might be a little surprised how much some features help | 18:33 |
| so-offish | Hi everyone, I'm interested in using the Surelog->UHDM->Yosys flow to do more complete formal methods. | 18:35 |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 256 seconds) | 19:07 | |
| *** SpaceCoaster <SpaceCoaster!~derek@user/spacecoaster> has joined #yosys | 22:08 | |
| *** Guest44 <[email protected]> has joined #yosys | 22:16 | |
| *** titan <[email protected]> has joined #yosys | 22:19 | |
| *** Guest44 <[email protected]> has quit IRC (Quit: Client closed) | 22:28 | |
| titan | Hi. Does anyone manage to encode all fsm into bianry rather than one-hot? | 22:30 |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:32 | |
| *** nonchip <[email protected]> has joined #yosys | 22:32 | |
| *** titan <[email protected]> has quit IRC (Quit: Client closed) | 22:45 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep) | 23:13 | |
| *** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys | 23:16 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!