*** tpb has joined #yosys | 04:32 | |
*** allenlorenz has quit IRC | 05:04 | |
*** peepsalot has quit IRC | 05:13 | |
*** filt3r has quit IRC | 06:05 | |
*** evil_chuck has quit IRC | 07:14 | |
*** jakobwenzel1 has joined #yosys | 07:27 | |
*** craigo has joined #yosys | 07:51 | |
*** Asu has joined #yosys | 08:08 | |
*** AdamHorden has quit IRC | 08:29 | |
*** X-Scale` has joined #yosys | 08:56 | |
*** X-Scale has quit IRC | 08:57 | |
*** X-Scale` is now known as X-Scale | 08:57 | |
*** xtro has quit IRC | 09:01 | |
*** Cerpin_ has quit IRC | 09:01 | |
*** kraiskil has joined #yosys | 09:12 | |
*** nengel has joined #yosys | 09:27 | |
*** dormito has quit IRC | 09:29 | |
*** nengel has quit IRC | 10:08 | |
*** Degi has quit IRC | 10:09 | |
*** elfGamal has quit IRC | 10:09 | |
*** proteusguy has quit IRC | 10:10 | |
*** mwk has quit IRC | 10:10 | |
*** gorbak25 has quit IRC | 10:10 | |
*** jakobwenzel has quit IRC | 10:10 | |
*** jakobwenzel1 is now known as jakobwenzel | 10:10 | |
*** jakobwenzel is now known as 94KAAQZ5Y | 10:10 | |
*** nengel has joined #yosys | 10:10 | |
*** Degi has joined #yosys | 10:10 | |
*** elfGamal has joined #yosys | 10:10 | |
*** proteusguy has joined #yosys | 10:10 | |
*** mwk has joined #yosys | 10:10 | |
*** gorbak25 has joined #yosys | 10:10 | |
*** jakobwenzel has joined #yosys | 10:10 | |
*** klotz has joined #yosys | 10:36 | |
*** klotz has quit IRC | 10:39 | |
Forty-Bot | why is /r/yosys submission restricted? | 11:05 |
---|---|---|
Lofty | Given the only mod on there is Claire, she probably doesn't want to deal with it | 11:06 |
Forty-Bot | why not get more mods? | 11:06 |
Forty-Bot | or at least pin a post saying why it's closed | 11:06 |
Lofty | Claire's not here | 11:06 |
Lofty | So, the question is kinda pointless | 11:06 |
*** dormito has joined #yosys | 12:00 | |
ZipCPU | It's restricted? I wasn't aware of that | 12:52 |
*** emeb has joined #yosys | 14:04 | |
*** 94KAAQZ5Y has quit IRC | 14:31 | |
*** nengel has quit IRC | 15:05 | |
*** citypw has quit IRC | 15:09 | |
*** FFY00 has quit IRC | 15:15 | |
*** FFY00 has joined #yosys | 15:15 | |
Forty-Bot | ZipCPU: yeah, I only noticed because I thought it was fishy that there had been no posts for 2 months | 16:18 |
ZipCPU | Well, okay, cool, I'll stop checking there for posts to answer ;) | 16:22 |
ZipCPU | I'm guessing their plan was to switch to stack overflow for user help requests | 16:23 |
*** Cerpin has joined #yosys | 16:25 | |
*** xtro has joined #yosys | 16:53 | |
*** attie has joined #yosys | 17:08 | |
*** peepsalot has joined #yosys | 17:17 | |
*** tpb has joined #yosys | 22:07 | |
*** dormito has joined #yosys | 22:16 | |
jmamish | I've been checking my designs by synthesizing (for ice40) with yosys, then dumping a synthesized version of my design with "write_verilog". I then run both my RTL design and the synthesized design in iverilog and compare results. | 22:50 |
jmamish | I've been checking my designs by synthesizing (for ice40) with yosys, then dumping a synthesized version of my design with "write_verilog". I then run both my RTL design and the synthesized design in iverilog and compare results. | 22:50 |
jmamish | This has helped me find a few dumb bugs, but it's obviously really really slow in iverilog (takes like 50 - 100x as long as the RTL design). | 22:51 |
jmamish | Is it pointless to run verilator instead on the synthesized design, or can I use verilator to speed up simulation of the synthesized design? | 22:51 |
whitequark | verilator should speed it up | 22:51 |
whitequark | you could use cxxrtl as well | 22:51 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!