Thursday, 2023-02-09

*** tpb <[email protected]> has joined #yosys00:00
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 248 seconds)00:07
*** phibr0ptix <[email protected]> has joined #yosys00:09
*** phibr0ptix <[email protected]> has quit IRC (Ping timeout: 248 seconds)00:20
whitequarki just set logging up00:33
*** AdamHorden <[email protected]> has joined #yosys00:36
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 248 seconds)00:51
*** AdamHorden <[email protected]> has joined #yosys00:55
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep)01:50
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys01:52
*** vancz <vancz!~vancz@user/vancz> has quit IRC (Remote host closed the connection)02:23
*** Max-P <Max-P!thelounge@thelounge/maintainer/Max-P> has quit IRC (Remote host closed the connection)02:23
*** Max-P <Max-P!thelounge@thelounge/maintainer/Max-P> has joined #yosys02:25
*** bl0x <[email protected]> has joined #yosys02:36
*** bl0x_ <bl0x_!~bl0x@p200300d7a7103c0010696f21b14c1611.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 248 seconds)02:37
*** vancz <vancz!~vancz@user/vancz> has joined #yosys02:38
*** cr1901_ <cr1901_!~cr1901@2601:8d:8600:911:e491:4983:99bd:33c4> has joined #yosys03:05
*** mewt_ <[email protected]> has joined #yosys03:10
*** nonchip_ <[email protected]> has joined #yosys03:11
*** krispaul <[email protected]> has joined #yosys03:15
*** nonchip <[email protected]> has quit IRC (*.net *.split)03:15
*** mewt <[email protected]> has quit IRC (*.net *.split)03:15
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (*.net *.split)03:15
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:a569:7cde:b17d:b0f8> has quit IRC (*.net *.split)03:15
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys06:39
*** krispaul <[email protected]> has quit IRC (Read error: Connection reset by peer)07:01
*** krispaul <[email protected]> has joined #yosys07:03
*** so-offishul <so-offishul!~so-offish@2610:148:610:2b11::13> has joined #yosys09:33
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Ping timeout: 260 seconds)09:37
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 260 seconds)10:37
*** Guest6175 <[email protected]> has joined #yosys11:12
*** Guest6175 <[email protected]> has quit IRC (Client Quit)11:12
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Quit: Bridge terminating on SIGTERM)11:37
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Quit: Bridge terminating on SIGTERM)11:37
*** bjonnh[m]1 <bjonnh[m]1!~bjonnhmat@2001:470:69fc:105::29> has quit IRC (Quit: Bridge terminating on SIGTERM)11:37
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has quit IRC (Quit: Bridge terminating on SIGTERM)11:37
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Quit: Bridge terminating on SIGTERM)11:37
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys11:39
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys11:42
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys11:42
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #yosys11:42
*** bjonnh[m] <bjonnh[m]!~bjonnhmat@2001:470:69fc:105::29> has joined #yosys11:42
*** foxfromabyss <foxfromabyss!~foxfromab@2a01:c22:35b7:9d00:39f6:4eb7:8a71:2181> has joined #yosys11:55
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has quit IRC (Ping timeout: 252 seconds)12:14
*** bjonnh[m] <bjonnh[m]!~bjonnhmat@2001:470:69fc:105::29> has quit IRC (Ping timeout: 246 seconds)12:14
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has quit IRC (Ping timeout: 246 seconds)12:14
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has quit IRC (Ping timeout: 252 seconds)12:14
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has quit IRC (Ping timeout: 252 seconds)12:14
*** programmerjake <programmerjake!~programme@2001:470:69fc:105::172f> has joined #yosys12:44
*** bjonnh[m] <bjonnh[m]!~bjonnhmat@2001:470:69fc:105::29> has joined #yosys12:50
*** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys12:50
*** xiretza[m] <xiretza[m]!~xiretzaxi@2001:470:69fc:105::9b1> has joined #yosys12:59
*** pepijndevos[m] <pepijndevos[m]!~pepijndev@2001:470:69fc:105::b6a8> has joined #yosys13:19
*** AdamHorden <[email protected]> has joined #yosys13:22
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 246 seconds)13:46
*** chaoticryptidz <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)13:50
*** chaoticryptidz <[email protected]> has joined #yosys13:50
*** AdamHorden <[email protected]> has joined #yosys13:54
*** krispaul <[email protected]> has quit IRC (Quit: WeeChat 2.3)14:41
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys14:43
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Remote host closed the connection)14:57
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys14:59
*** phibr0ptix <[email protected]> has joined #yosys15:45
*** so-offishul is now known as so-offish16:15
*** foxfromabyss <foxfromabyss!~foxfromab@2a01:c22:35b7:9d00:39f6:4eb7:8a71:2181> has quit IRC (Ping timeout: 260 seconds)16:19
*** cr1901_ is now known as cr190116:19
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Quit: Leaving)16:49
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:49
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)16:51
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:51
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)16:52
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:53
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)16:55
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:55
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)16:56
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:57
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)16:59
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys16:59
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Client Quit)17:03
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys17:04
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Remote host closed the connection)17:05
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys17:05
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Remote host closed the connection)17:05
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has joined #yosys17:05
*** AdamHorden <[email protected]> has quit IRC (Ping timeout: 256 seconds)17:31
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has quit IRC (Ping timeout: 248 seconds)19:10
*** foxfromabyss <foxfromabyss!~foxfromab@2a01:c22:35b7:9d00:8d39:283e:a7bf:d4dd> has joined #yosys19:18
*** pbsds <[email protected]> has quit IRC (Quit: Ping timeout (120 seconds))19:34
*** pbsds <[email protected]> has joined #yosys19:34
*** acathla <[email protected]> has quit IRC (Quit: [Guru Meditation])19:49
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 248 seconds)19:55
*** acathla <[email protected]> has joined #yosys20:04
*** AdamHorden <[email protected]> has joined #yosys20:04
cr1901If I have a design with a clock enable, is there a way to get nextpnr to tell me "minimum period of the clock enable signal to propogate throughout the design"?20:08
cr1901Idea being "I want to embed the design in a clock domain faster than "Fmax when clock enable isn't used""20:08
tntNope20:16
tntBut you can probaby just deduce that yourself from the fmax of your design.20:17
cr1901Well, "Fmax of the entire design when the sub-design has its clock enable signal used" divided by "number of cycles clock enable inactive + 1" is certainly an upper bound to "Fmax of the subdesign when ce is used"20:22
tntBut even if you knew that number, there is no support for multi-cycle constrainst in current nextpnr. 20:25
tntI know there was some discussions I've seen on github, but ATM AFAIK nothing in mainline.20:26
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys20:43
cr1901What's a multi-cycle constraint, specifically? Is it "the term for the scenario I just described", or something more specific?20:45
tntIt's when you tell the tools that some paths should be constrained to a multiple of the period. This is what is typically used to describe that you have a CE and it's only active once every N cycles.20:50
tnthttps://nl.mathworks.com/help/hdlcoder/ug/enable-based-multicycle-constraints.html20:53
tpbTitle: Meet Timing Requirements Using Enable-Based Multicycle Path Constraints - MATLAB & Simulink - MathWorks Benelux (at nl.mathworks.com)20:53
cr1901tyvm21:03
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 264 seconds)21:06
*** so-offishul <[email protected]> has joined #yosys21:21
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::13> has quit IRC (Ping timeout: 248 seconds)21:24
*** foxfromabyss <foxfromabyss!~foxfromab@2a01:c22:35b7:9d00:8d39:283e:a7bf:d4dd> has quit IRC (Ping timeout: 260 seconds)21:41
*** so-offish1 <so-offish1!~so-offish@2610:148:610:2b11::10> has joined #yosys22:15
*** so-offishul <[email protected]> has quit IRC (Ping timeout: 248 seconds)22:18
*** nonchip_ <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)23:08
*** nonchip <[email protected]> has joined #yosys23:08
*** peepsalot <peepsalot!~peepsalot@openscad/peepsalot> has joined #yosys23:41
*** phibr0pt1x <[email protected]> has joined #yosys23:46
*** phibr0ptix <[email protected]> has quit IRC (Ping timeout: 260 seconds)23:49
*** phibr0pt1x <[email protected]> has quit IRC (Ping timeout: 252 seconds)23:51

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!