| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** bl0x_ <bl0x_!~bl0x@p200300d7a70e3f0078f361290ff0a84e.dip0.t-ipconnect.de> has joined #yosys | 02:40 | |
| *** bl0x <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 02:41 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 03:30 | |
| *** tokamak <[email protected]> has joined #yosys | 03:31 | |
| *** tokamak <[email protected]> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 03:50 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has joined #yosys | 03:51 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 04:00 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has joined #yosys | 04:00 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Remote host closed the connection) | 04:02 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has joined #yosys | 04:02 | |
| *** FabM <[email protected]> has joined #yosys | 07:59 | |
| *** Xark <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 08:00 | |
| *** Xark <[email protected]> has joined #yosys | 08:02 | |
| *** Xark <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 08:30 | |
| *** Xark <[email protected]> has joined #yosys | 08:35 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 255 seconds) | 09:59 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 10:01 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 255 seconds) | 13:01 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 13:02 | |
| *** rowanG337 <[email protected]> has joined #yosys | 13:37 | |
| rowanG337 | Hello everyone. I'm a master student under Myrtle. | 13:38 |
|---|---|---|
| rowanG337 | My thesis is about implementing user - timing constraint in nextpnr. Currently I'm looking into how I can best support this from a file format. | 13:39 |
| rowanG337 | One of the things mentioned in the yosys issuetracker is it might be helpfull for yosys itself to understand timing constraints as well to make certain synthesis decisions. | 13:39 |
| rowanG337 | So I think one of the best ways would be to get yosys to ingest sdc files. Yosys could then output a netlist with timing constraint information. | 13:40 |
| rowanG337 | This way SDC handling is isolated to yosys which I think is nicer then requiring the same SDC file to be passed to both yosys and nextpnr. | 13:41 |
| tnt | Might also help with all the net renaming that goes into synthesis ... | 13:43 |
| rowanG337 | Yep. It might hard to ensure some nets aren't mangled but I'm not that into yosys yet that I know for sure :p | 13:44 |
| rowanG337 | So basically I want to get some feedback from the yosys people on what their view is. I'd hate to waste a lot of time on implementing something like this and it ends up not beeing the right approach. | 13:46 |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 14:09 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Client Quit) | 14:12 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 14:13 | |
| *** crzwdjk <[email protected]> has quit IRC (Quit: Client closed) | 16:07 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 16:22 | |
| whitequark | the net renaming should be handled already if you look at the \hdlname attribute | 17:06 |
| whitequark | even flattening keeps hierarchy in that attribute | 17:07 |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 17:54 | |
| *** tokamak <[email protected]> has joined #yosys | 17:57 | |
| *** rowanG337 <[email protected]> has quit IRC (Remote host closed the connection) | 18:23 | |
| *** crzwdjk <[email protected]> has joined #yosys | 19:04 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::18> has joined #yosys | 20:15 | |
| *** tokamak <[email protected]> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 20:16 | |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has joined #yosys | 20:17 | |
| so-offish | hey every1 | 20:34 |
| so-offish | I have a Nextpnr question - am I in the right place to ask? | 20:34 |
| so-offish | Technically Yosys is the synthesizer and nextpnr is (one of) the routers, so I guess not, but I figured it's mostly the same people ( | 20:44 |
| whitequark | it is mostly the same people | 20:46 |
| *** tokamak <tokamak!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 21:00 | |
| *** tokamak <[email protected]> has joined #yosys | 21:01 | |
| so-offish | I figured; if I'm understanding correctly I need to write a simplified packer, placer, and router for the ECP5; I believe I can achieve this with Nextpnr using its Python API. Can anyone provide hints about how to go about this? I think I will start by simply "placing", "Packing", and "routing" a single inverter as a demonstration - does that exist somewhere? | 21:06 |
| so-offish | Sorry if that's a little long and has poor structure. | 21:06 |
| tnt | huh ? nextpnr already supports ECP5 so why would you do that ? | 21:14 |
| so-offish | Because my routing isn't driven by timing. | 21:17 |
| so-offish | It's driven by research. lol | 21:17 |
| so-offish | Same for packing/placement. | 21:17 |
| so-offish | I really should reconstitute (https://arxiv.org/abs/1903.10407) but I haven't yet. | 21:18 |
| so-offish | There's an example in there of the antithesis of Cad tools - selecting the longest possible wire route, which I think is hilarious - but it also shows something similar to what I need to do. | 21:19 |
| so-offish | Sounds brilliant - how do I get cracking. | 21:19 |
| so-offish | haha | 21:19 |
| *** MoeIcenowy <[email protected]> has joined #yosys | 21:47 | |
| *** DX-MON| <DX-MON|[email protected]> has joined #yosys | 21:47 | |
| *** benreynwar_ <[email protected]> has joined #yosys | 21:48 | |
| *** cyrozap_ <cyrozap_!~cyrozap@2600:1f16:29a:ae01:ee17:f9fd:2d26:f962> has joined #yosys | 21:48 | |
| *** gruetze_ <gruetze_!~quassel@wireguard/tunneler/gruetzkopf> has joined #yosys | 21:50 | |
| *** tnt_ <tnt_!~tnt@osmocom/tnt> has joined #yosys | 21:51 | |
| *** Moe_Icenowy <Moe_Icenowy!~MoeIcenow@2401:c080:1000:445a:6657:927a:eade:501f> has quit IRC (*.net *.split) | 21:56 | |
| *** DX-MON <[email protected]> has quit IRC (*.net *.split) | 21:56 | |
| *** cyrozap <cyrozap!~cyrozap@2600:1f16:29a:ae01:ee17:f9fd:2d26:f962> has quit IRC (*.net *.split) | 21:56 | |
| *** tnt <tnt!~tnt@osmocom/tnt> has quit IRC (*.net *.split) | 21:56 | |
| *** gruetzkopf <gruetzkopf!~quassel@wireguard/tunneler/gruetzkopf> has quit IRC (*.net *.split) | 21:56 | |
| *** benreynwar <[email protected]> has quit IRC (*.net *.split) | 21:56 | |
| *** benreynwar_ is now known as benreynwar | 21:56 | |
| *** tnt_ is now known as tnt | 21:56 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 22:07 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::18> has quit IRC (Ping timeout: 248 seconds) | 22:30 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::18> has joined #yosys | 22:33 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b11::18> has quit IRC (Ping timeout: 260 seconds) | 22:40 | |
| *** nelgau <[email protected]> has joined #yosys | 22:48 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:08 | |
| *** nonchip <[email protected]> has joined #yosys | 23:08 | |
| *** AdamHorden <[email protected]> has joined #yosys | 23:32 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 260 seconds) | 23:45 | |
| *** AdamHorden <[email protected]> has joined #yosys | 23:48 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!