Monday, 2020-07-20

*** tpb has joined #yosys04:32
*** allenlorenz has quit IRC05:04
*** peepsalot has quit IRC05:13
*** filt3r has quit IRC06:05
*** evil_chuck has quit IRC07:14
*** jakobwenzel1 has joined #yosys07:27
*** craigo has joined #yosys07:51
*** Asu has joined #yosys08:08
*** AdamHorden has quit IRC08:29
*** X-Scale` has joined #yosys08:56
*** X-Scale has quit IRC08:57
*** X-Scale` is now known as X-Scale08:57
*** xtro has quit IRC09:01
*** Cerpin_ has quit IRC09:01
*** kraiskil has joined #yosys09:12
*** nengel has joined #yosys09:27
*** dormito has quit IRC09:29
*** nengel has quit IRC10:08
*** Degi has quit IRC10:09
*** elfGamal has quit IRC10:09
*** proteusguy has quit IRC10:10
*** mwk has quit IRC10:10
*** gorbak25 has quit IRC10:10
*** jakobwenzel has quit IRC10:10
*** jakobwenzel1 is now known as jakobwenzel10:10
*** jakobwenzel is now known as 94KAAQZ5Y10:10
*** nengel has joined #yosys10:10
*** Degi has joined #yosys10:10
*** elfGamal has joined #yosys10:10
*** proteusguy has joined #yosys10:10
*** mwk has joined #yosys10:10
*** gorbak25 has joined #yosys10:10
*** jakobwenzel has joined #yosys10:10
*** klotz has joined #yosys10:36
*** klotz has quit IRC10:39
Forty-Botwhy is /r/yosys submission restricted?11:05
LoftyGiven the only mod on there is Claire, she probably doesn't want to deal with it11:06
Forty-Botwhy not get more mods?11:06
Forty-Botor at least pin a post saying why it's closed11:06
LoftyClaire's not here11:06
LoftySo, the question is kinda pointless11:06
*** dormito has joined #yosys12:00
ZipCPUIt's restricted?  I wasn't aware of that12:52
*** emeb has joined #yosys14:04
*** 94KAAQZ5Y has quit IRC14:31
*** nengel has quit IRC15:05
*** citypw has quit IRC15:09
*** FFY00 has quit IRC15:15
*** FFY00 has joined #yosys15:15
Forty-BotZipCPU: yeah, I only noticed because I thought it was fishy that there had been no posts for 2 months16:18
ZipCPUWell, okay, cool, I'll stop checking there for posts to answer ;)16:22
ZipCPUI'm guessing their plan was to switch to stack overflow for user help requests16:23
*** Cerpin has joined #yosys16:25
*** xtro has joined #yosys16:53
*** attie has joined #yosys17:08
*** peepsalot has joined #yosys17:17
*** tpb has joined #yosys22:07
*** dormito has joined #yosys22:16
jmamishI'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
jmamishI'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
jmamishThis 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
jmamishIs 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
whitequarkverilator should speed it up22:51
whitequarkyou could use cxxrtl as well22:51

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