| *** tpb has joined #yosys | 00:00 | |
| *** cr1901_modern has joined #yosys | 00:12 | |
| *** brasilino has joined #yosys | 00:14 | |
| *** gsi__ has joined #yosys | 00:44 | |
| *** gsi_ has quit IRC | 00:47 | |
| *** brasilino has quit IRC | 01:57 | |
| *** lutsabound has quit IRC | 01:57 | |
| *** vonnieda has quit IRC | 02:23 | |
| *** PyroPeter has quit IRC | 02:42 | |
| *** PyroPeter has joined #yosys | 02:55 | |
| *** s_frit has quit IRC | 03:04 | |
| *** s_frit has joined #yosys | 03:05 | |
| *** citypw has joined #yosys | 03:23 | |
| *** citypw has quit IRC | 03:29 | |
| *** citypw has joined #yosys | 03:41 | |
| *** vonnieda has joined #yosys | 03:43 | |
| *** dys has quit IRC | 03:44 | |
| *** dys has joined #yosys | 04:15 | |
| *** rohitksingh_work has joined #yosys | 05:11 | |
| *** rohitksingh_work has quit IRC | 05:40 | |
| *** proteusguy has quit IRC | 05:46 | |
| *** dys has quit IRC | 05:51 | |
| *** proteusguy has joined #yosys | 06:24 | |
| *** Nazara has quit IRC | 06:24 | |
| *** Nazara has joined #yosys | 06:28 | |
| *** Nazara has quit IRC | 06:32 | |
| *** rohitksingh has joined #yosys | 06:34 | |
| *** Nazara has joined #yosys | 06:47 | |
| *** Nazara has quit IRC | 06:48 | |
| *** Nazara has joined #yosys | 06:49 | |
| *** citypw has quit IRC | 06:49 | |
| *** citypw has joined #yosys | 07:02 | |
| *** Nazara has quit IRC | 07:03 | |
| *** Nazara has joined #yosys | 07:05 | |
| *** Nazara has joined #yosys | 07:09 | |
| *** jakobwenzel has joined #yosys | 07:11 | |
| *** emeb_mac has quit IRC | 07:32 | |
| *** kraiskil has joined #yosys | 07:33 | |
| *** pie_ has quit IRC | 07:59 | |
| *** pie__ has joined #yosys | 07:59 | |
| *** rohitksingh has quit IRC | 08:42 | |
| *** rohitksingh has joined #yosys | 09:19 | |
| *** citypw has quit IRC | 10:16 | |
| *** FabM has joined #yosys | 10:19 | |
| *** _whitelogger has quit IRC | 10:32 | |
| *** _whitelogger has joined #yosys | 10:35 | |
| *** rohitksingh has quit IRC | 11:32 | |
| *** rohitksingh has joined #yosys | 11:40 | |
| *** rohitksingh has quit IRC | 12:27 | |
| *** rrika has quit IRC | 12:33 | |
| *** rrika has joined #yosys | 12:35 | |
| *** dys has joined #yosys | 12:35 | |
| *** m4ssi has joined #yosys | 12:55 | |
| *** rohitksingh has joined #yosys | 13:09 | |
| *** celadon has joined #yosys | 13:15 | |
| *** proteusguy has quit IRC | 13:16 | |
| *** s_frit has quit IRC | 13:16 | |
| *** s_frit has joined #yosys | 13:17 | |
| *** rohitksingh has quit IRC | 13:22 | |
| *** rohitksingh has joined #yosys | 13:49 | |
| *** vonnieda has quit IRC | 13:55 | |
| *** kristianpaul has quit IRC | 14:06 | |
| *** vonnieda has joined #yosys | 14:11 | |
| *** kristianpaul has joined #yosys | 14:13 | |
| *** brasilino has joined #yosys | 14:19 | |
| *** kristianpaul has quit IRC | 14:28 | |
| *** Cerpin has joined #yosys | 14:29 | |
| *** Cerpin has quit IRC | 14:40 | |
| *** kristianpaul has joined #yosys | 14:47 | |
| *** rohitksingh has quit IRC | 14:49 | |
| *** rohitksingh has joined #yosys | 14:49 | |
| *** maikmerten has joined #yosys | 14:54 | |
| *** celadon has quit IRC | 15:34 | |
| *** FabM has quit IRC | 15:42 | |
| *** celadon has joined #yosys | 15:52 | |
| *** emeb has joined #yosys | 15:54 | |
| *** m4ssi has quit IRC | 16:10 | |
| somlo | daveshah: I think I'm either doing something wrong, or hitting some sort of regression; with the latest yosys/trellis/nextpnr I built over the weekend, the bitstream I'm sending to my ecp5 5g versa just doesn't work | 16:19 |
|---|---|---|
| somlo | so I'm going to go back and build the versions I had from mid-May, and try to work my way back up to date from there | 16:19 |
| somlo | but wanted to check with you in case this rings a bell... :) | 16:20 |
| *** gsi__ is now known as gsi_ | 16:33 | |
| *** kraiskil has quit IRC | 16:33 | |
| *** dys has quit IRC | 17:03 | |
| *** vonnieda has quit IRC | 17:16 | |
| *** vonnieda has joined #yosys | 17:22 | |
| *** dys has joined #yosys | 17:24 | |
| somlo | daveshah: got lucky, only had to downgrade yosys (to the prevous snapshot I had used, c907899) and my stuff started working again | 18:11 |
| somlo | didn't have to go back to May with trellis and nextpnr, whew! :) | 18:12 |
| somlo | is yosys bisect-friendly? I could probably try that if I'm not likely to land on a bunch of intermediate commits where I can't test because of breakage unrelated to what I'm hunting for... | 18:12 |
| daveshah | somlo: There are two possible causes. | 18:22 |
| daveshah | The first is https://github.com/YosysHQ/yosys/commit/a0d3d2bb41cd11b5b33620e16cb67c6568b16847 which should be easy to revert | 18:22 |
| tpb | Title: ecp5: Improve mapping of $alu when BI is used · YosysHQ/yosys@a0d3d2b · GitHub (at github.com) | 18:22 |
| daveshah | The second is the ABC9 changes, which I wouldn't attempt to revert but instead try the 0.9 release candidate branch which excludes them | 18:23 |
| daveshah | If neither of those are the problem them bisection would be needed | 18:23 |
| daveshah | I'm not sure how bisect will go with the big ABC9 PR | 18:23 |
| somlo | that's what I was wondering about, chances of landing on random commits where I'll end up encountering unrelated trouble to what I'm hunting for :) | 18:24 |
| benreynwar | ZipCPU: Is there a way to add an 'assume' into my VHDL code? Currently I'm putting them in the top SV wrapper, but it'd be nice to be able to able to put them in the design files too. | 18:24 |
| somlo | so, low hanging fruit first -- $alu mapping, then go from there :) | 18:25 |
| somlo | I'll report back on how that went... | 18:25 |
| ZipCPU | Hello, benreynwar! | 18:26 |
| ZipCPU | There is no way to place either assertion nor assumption into any VHDL code. | 18:26 |
| benreynwar | Using standard VHDL assertions seems to work, but I hadn't found a way to use assumptions yet. | 18:27 |
| ZipCPU | Ok, assertions work ... I had a faint memory of one working while the other did not ... | 18:28 |
| benreynwar | ZipCPU: I kind of figured it wasn't possible, but thought I should ask before going to the effort of making a workaround. Thanks! | 18:30 |
| ZipCPU | That's why, in the VHDL course I teach, we do all the formal verification work itself in Verilog | 18:31 |
| benreynwar | I was thinking of replacing submodules that have been verified already with stubs that just contain assumptions corresponding to the verified assertions. It would have been nice to be able to write those stubs in VHDL since the SV/VHDL interfaces get messy. I'll probably just convert the assumptions into output bits that get sent to the top-level SV and then write the assumption there. | 18:42 |
| ZipCPU | That'd work | 19:08 |
| *** cr1901 has joined #yosys | 19:10 | |
| *** cr1901 has quit IRC | 19:10 | |
| *** kraiskil has joined #yosys | 19:21 | |
| *** fsasm has joined #yosys | 19:23 | |
| *** kraiskil has quit IRC | 20:06 | |
| *** maikmerten has quit IRC | 20:58 | |
| *** rohitksingh has quit IRC | 21:19 | |
| *** fsasm has quit IRC | 21:33 | |
| daveshah | benreynwar: I think we looked into the possibility of setting an attribute on a VHDL assert to turn it into an assume for formal, but hit a limitation somewhere | 22:20 |
| daveshah | This is still something that I hope we'll get working at some point, it should preserve correct simulation behaviour for assumes too | 22:21 |
| daveshah | Hierarchical references into the VHDL from SV should work, if you want to avoid adding outputs | 22:22 |
| benreynwar | daveshah: That's a good idea! Thanks. | 22:26 |
| *** vonnieda has quit IRC | 23:02 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!