| *** tpb has joined #yosys | 00:00 | |
| *** alcorn has joined #yosys | 00:20 | |
| *** craigo has joined #yosys | 00:21 | |
| *** cr1901_modern has quit IRC | 01:29 | |
| *** PyroPeter has quit IRC | 02:12 | |
| *** craigo has quit IRC | 02:17 | |
| *** craigo has joined #yosys | 02:18 | |
| *** alcorn has quit IRC | 02:22 | |
| *** alcorn has joined #yosys | 02:23 | |
| *** PyroPeter has joined #yosys | 02:25 | |
| *** alcorn has quit IRC | 03:07 | |
| *** _whitelogger has quit IRC | 03:12 | |
| *** _whitelogger has joined #yosys | 03:14 | |
| *** FabM has joined #yosys | 05:17 | |
| *** umarcor|2 has quit IRC | 05:23 | |
| *** cr1901_modern has joined #yosys | 06:14 | |
| *** Jybz has joined #yosys | 06:49 | |
| *** emeb_mac has quit IRC | 06:55 | |
| *** adjtm_ has quit IRC | 07:16 | |
| *** adjtm_ has joined #yosys | 07:47 | |
| *** m4ssi has joined #yosys | 08:22 | |
| *** fsasm has joined #yosys | 08:27 | |
| *** dys has quit IRC | 08:35 | |
| *** dys has joined #yosys | 08:52 | |
| *** SpaceCoaster has quit IRC | 10:37 | |
| *** fsasm has quit IRC | 10:44 | |
| *** fsasm has joined #yosys | 10:53 | |
| *** Stary has quit IRC | 11:23 | |
| *** cr1901_modern has quit IRC | 11:53 | |
| *** pie__ has quit IRC | 12:30 | |
| *** Stary has joined #yosys | 12:33 | |
| *** jryans has quit IRC | 12:33 | |
| *** jryans has joined #yosys | 12:38 | |
| *** jryans has quit IRC | 12:55 | |
| *** jryans has joined #yosys | 12:56 | |
| *** pie_ has joined #yosys | 13:28 | |
| *** adjtm has joined #yosys | 13:46 | |
| *** adjtm_ has quit IRC | 13:48 | |
| *** adjtm_ has joined #yosys | 13:51 | |
| *** X-Scale` has joined #yosys | 13:51 | |
| *** ebb_ has joined #yosys | 13:52 | |
| *** captain_morgan20 has joined #yosys | 13:53 | |
| *** ybit has joined #yosys | 13:54 | |
| *** knielsen_ has joined #yosys | 13:55 | |
| *** captain_morgan2 has quit IRC | 13:55 | |
| *** X-Scale has quit IRC | 13:55 | |
| *** elGamal has quit IRC | 13:55 | |
| *** heath has quit IRC | 13:55 | |
| *** markus-k has quit IRC | 13:55 | |
| *** craigo has quit IRC | 13:55 | |
| *** kristianpaul has quit IRC | 13:55 | |
| *** Forty-Bot has quit IRC | 13:55 | |
| *** knielsen has quit IRC | 13:55 | |
| *** cyrozap has quit IRC | 13:55 | |
| *** adjtm has quit IRC | 13:55 | |
| *** pacak has quit IRC | 13:55 | |
| *** fengling has quit IRC | 13:55 | |
| *** nurelin has quit IRC | 13:55 | |
| *** Nazara has quit IRC | 13:55 | |
| *** ebb has quit IRC | 13:55 | |
| *** kristian1 has joined #yosys | 13:55 | |
| *** X-Scale` is now known as X-Scale | 13:55 | |
| *** craigo has joined #yosys | 13:55 | |
| *** Nazara has joined #yosys | 13:55 | |
| *** nurelin has joined #yosys | 13:55 | |
| *** elGamal has joined #yosys | 13:56 | |
| *** fengling has joined #yosys | 13:56 | |
| *** Forty-Bot has joined #yosys | 13:56 | |
| *** cyrozap has joined #yosys | 13:57 | |
| *** pacak has joined #yosys | 14:00 | |
| *** kristian1 has quit IRC | 14:02 | |
| *** kristianpaul has joined #yosys | 14:03 | |
| *** emeb has joined #yosys | 14:27 | |
| *** Cerpin has quit IRC | 14:48 | |
| *** Cerpin has joined #yosys | 14:49 | |
| *** m4ssi has quit IRC | 15:49 | |
| *** fsasm has quit IRC | 15:55 | |
| *** forksand has quit IRC | 16:01 | |
| *** FabM has quit IRC | 16:03 | |
| *** craigo has quit IRC | 16:05 | |
| *** cr1901_modern has joined #yosys | 16:08 | |
| *** forksand has joined #yosys | 16:16 | |
| *** adjtm_ has quit IRC | 16:53 | |
| *** alcorn has joined #yosys | 18:03 | |
| *** ZipCPU has quit IRC | 18:23 | |
| *** ZipCPU has joined #yosys | 18:38 | |
| *** pie_ has quit IRC | 18:57 | |
| *** alcorn has quit IRC | 19:15 | |
| *** adjtm_ has joined #yosys | 19:17 | |
| *** nanor000 has joined #yosys | 19:41 | |
| nanor000 | Can someone confirm that compiling Yosys with support for the verific frontend parser requires buying the parser from Verific Design Automation, Inc ? | 19:48 |
|---|---|---|
| *** pie_ has joined #yosys | 19:50 | |
| daveshah | No, it requires buying Symbiotic EDA Suite | 19:54 |
| nanor000 | Ok - thanks - The readme in Yosys and SymbiYosys github repos should mentionned that... Lot of the claims on SymbiYosys being able to read SVA stuff are only available to Symbiotic EDA customers then | 20:11 |
| whitequark | SymbiYosys can read basic SVA constructs | 20:19 |
| whitequark | without a Verific frontend | 20:19 |
| daveshah | Indeed, enough for things like riscv-formal | 20:20 |
| nanor000 | that's true I was confused by the example provided with SymbiYosys - some are using SVA but don't mention the need of a specific version of SymbiYosys | 20:27 |
| *** pie_ has quit IRC | 20:27 | |
| *** gnufan_home has joined #yosys | 20:30 | |
| *** pie_ has joined #yosys | 20:32 | |
| *** dys has quit IRC | 20:37 | |
| *** dys has joined #yosys | 20:47 | |
| *** alcorn has joined #yosys | 20:54 | |
| *** emeb_mac has joined #yosys | 20:59 | |
| *** Jybz has quit IRC | 20:59 | |
| *** stzsch has joined #yosys | 22:07 | |
| *** bwidawsk has quit IRC | 22:22 | |
| *** bwidawsk has joined #yosys | 22:22 | |
| *** gnufan_home has quit IRC | 22:44 | |
| *** alcorn has quit IRC | 23:19 | |
| *** alcorn has joined #yosys | 23:21 | |
| *** alcorn has quit IRC | 23:25 | |
| *** forksand has quit IRC | 23:27 | |
| *** forksand has joined #yosys | 23:41 | |
| *** emeb has quit IRC | 23:46 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!