| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 00:01 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 00:15 | |
| mwk | piegames: what do you mean by "manually implementing $past"? | 00:23 |
|---|---|---|
| *** stroboko1p <[email protected]> has joined #yosys | 01:34 | |
| *** strobokopp <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 01:38 | |
| *** jediminer543_ <[email protected]> has quit IRC (Read error: Connection reset by peer) | 01:49 | |
| *** Curve25519ChaCha <Curve25519ChaCha!~Username@user/curve25519chacha> has quit IRC (Remote host closed the connection) | 03:00 | |
| *** Curve25519ChaCha <Curve25519ChaCha!~Username@user/curve25519chacha> has joined #yosys | 03:01 | |
| *** aquijoule_ <[email protected]> has joined #yosys | 03:18 | |
| *** aquijoule__ <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 03:20 | |
| *** FabM <[email protected]> has joined #yosys | 06:56 | |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 07:01 | |
| *** vidbina <[email protected]> has joined #yosys | 07:21 | |
| *** vidbina <[email protected]> has quit IRC (Quit: vidbina) | 07:34 | |
| *** aquijoule_ <[email protected]> has quit IRC (Quit: Leaving) | 08:10 | |
| *** aquijoule_ <[email protected]> has joined #yosys | 08:10 | |
| *** Guest13 <Guest13!~Guest13@cpc157431-lee215-2-0-cust373.7-1.cable.virginm.net> has joined #yosys | 08:18 | |
| *** cr1901 <cr1901!~William@2601:8d:8600:911:966:a289:368:199d> has quit IRC (Ping timeout: 240 seconds) | 08:50 | |
| *** cr1901 <cr1901!~William@2601:8d:8600:911:c012:1f45:543:1608> has joined #yosys | 08:52 | |
| piegames | mwk: Well, it is a simple one clock cycle delay that can easily be realized with a register | 09:36 |
| gatecat | b2xiao: yeah, that's right, I think OFX are only meaningful in logic mode | 09:37 |
| *** vidbina <[email protected]> has joined #yosys | 09:59 | |
| *** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has quit IRC (Quit: Bridge terminating on SIGTERM) | 10:28 | |
| *** promach[m] <promach[m]!~promach@2001:470:69fc:105::ca1> has joined #yosys | 10:29 | |
| *** jryans <jryans!~jryansmat@2001:470:69fc:105::1d> has joined #yosys | 10:30 | |
| *** emilazy <emilazy!~emilazy@user/emilazy> has joined #yosys | 10:30 | |
| *** whitequark <whitequark!~whitequar@2001:470:69fc:105::37> has joined #yosys | 10:30 | |
| *** CarlosEDP <CarlosEDP!~carlosedp@2001:470:69fc:105::218e> has joined #yosys | 10:30 | |
| *** kaji <kaji!~kajiryoji@2001:470:69fc:105::405b> has joined #yosys | 10:31 | |
| *** vidbina <[email protected]> has quit IRC (Quit: vidbina) | 10:31 | |
| *** Guest13 <Guest13!~Guest13@cpc157431-lee215-2-0-cust373.7-1.cable.virginm.net> has quit IRC (Ping timeout: 246 seconds) | 11:05 | |
| mwk | piegames: are you asking if $past is efectively redundant and could be replaced with a behaviorally-implemented FF? yes | 13:12 |
| mwk | (in fact, that's what yosys internally does) | 13:12 |
| cr1901 | The system verilog standard goes out of it's way to make the definition of $past and $sampled so convoluted (at least to me) that it's not obvious (to me anyway) that a FF is a correct implementation of $past | 13:42 |
| cr1901 | https://github.com/cr1901/yosys-experiments/tree/master/tasks/sampled I wrote notes down about it. Not sure I fully understand them b/c they were written in a hurry. Way to go past me | 13:45 |
| cr1901 | gatecat: I'll make a PR later, but I have a present for you... another nextpnr GUI crash. I hope you like it :) | 13:46 |
| *** kaji <kaji!~kajiryoji@2001:470:69fc:105::405b> has quit IRC (Quit: Reconnecting) | 13:46 | |
| *** kaji <kaji!~kajiryoji@2001:470:69fc:105::405b> has joined #yosys | 13:46 | |
| piegames | mwk: That's what I wanted to hear, thank you | 13:49 |
| *** lkcl <[email protected]> has quit IRC (Ping timeout: 265 seconds) | 14:08 | |
| *** lkcl <[email protected]> has joined #yosys | 14:28 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Quit: Leaving) | 15:00 | |
| *** gsmecher <[email protected]> has joined #yosys | 15:47 | |
| *** TFKyle <[email protected]> has joined #yosys | 16:24 | |
| *** emeb <[email protected]> has joined #yosys | 16:55 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 19:28 | |
| *** gsmecher <[email protected]> has joined #yosys | 20:05 | |
| *** aquijoule_ <[email protected]> has quit IRC (Quit: Leaving) | 20:31 | |
| *** aquijoule_ <[email protected]> has joined #yosys | 20:32 | |
| *** aquijoule_ is now known as richbridger | 20:32 | |
| *** richbridger <[email protected]> has quit IRC (Remote host closed the connection) | 20:36 | |
| *** richbridger <[email protected]> has joined #yosys | 20:37 | |
| *** emeb_mac <[email protected]> has joined #yosys | 20:39 | |
| *** gsmecher <[email protected]> has quit IRC (Ping timeout: 250 seconds) | 21:14 | |
| *** emeb <[email protected]> has quit IRC (Quit: Leaving.) | 23:45 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!