| *** tpb has joined #yosys | 00:00 | |
| *** emeb_mac has joined #yosys | 00:46 | |
| *** X-Scale` has joined #yosys | 01:27 | |
| *** X-Scale has quit IRC | 01:28 | |
| *** X-Scale` is now known as X-Scale | 01:28 | |
| *** develonepi3 has quit IRC | 01:34 | |
| *** emeb has left #yosys | 02:11 | |
| *** SpaceCoaster has joined #yosys | 02:22 | |
| *** vmedea has quit IRC | 02:41 | |
| *** vmedea has joined #yosys | 02:43 | |
| *** PyroPeter has quit IRC | 03:27 | |
| *** citypw has joined #yosys | 03:34 | |
| *** PyroPeter has joined #yosys | 03:41 | |
| *** Cerpin has quit IRC | 03:58 | |
| *** Cerpin has joined #yosys | 04:08 | |
| *** emeb has joined #yosys | 04:27 | |
| *** emeb has quit IRC | 04:38 | |
| *** emeb has joined #yosys | 04:43 | |
| *** emeb has left #yosys | 04:45 | |
| *** gsi__ has joined #yosys | 04:49 | |
| *** pie___ has joined #yosys | 04:51 | |
| *** rohitksingh_work has joined #yosys | 04:52 | |
| *** gsi_ has quit IRC | 04:52 | |
| *** emeb has joined #yosys | 04:53 | |
| *** pie__ has quit IRC | 04:54 | |
| *** emeb has left #yosys | 05:05 | |
| bpye | Hm, perhaps this is an odd idea, but can yosys do formal verification over parameters? | 05:20 |
|---|---|---|
| sorear | if you mean unbounded parameters like integers, then very much not | 05:21 |
| sorear | that's not something that solver-based formal can handle | 05:22 |
| sorear | for parameters that are just booleans or finite bit strings, idk | 05:22 |
| *** cr1901_modern has quit IRC | 05:30 | |
| bpye | Seems that if you can redefine your parameters as registers for the sake of a test then I guess you can, perhaps the question then becomes should you... | 05:36 |
| *** citypw has quit IRC | 06:08 | |
| *** emeb_mac has quit IRC | 06:11 | |
| *** proteusguy has joined #yosys | 06:13 | |
| *** proteusguy has quit IRC | 06:19 | |
| *** citypw has joined #yosys | 06:21 | |
| *** ZipCPU has quit IRC | 06:21 | |
| *** ZipCPU has joined #yosys | 06:22 | |
| *** rohitksingh_work has quit IRC | 06:28 | |
| *** cr1901_modern has joined #yosys | 07:22 | |
| *** _whitelogger has quit IRC | 07:52 | |
| *** _whitelogger has joined #yosys | 07:54 | |
| *** m_w has quit IRC | 07:56 | |
| *** togo has joined #yosys | 07:57 | |
| *** m4ssi has joined #yosys | 08:26 | |
| *** citypw has quit IRC | 09:31 | |
| *** futarisIRCcloud has quit IRC | 09:32 | |
| *** mwk has quit IRC | 12:04 | |
| *** rohitksingh_work has joined #yosys | 12:06 | |
| *** mwk has joined #yosys | 12:15 | |
| *** emeb_mac has joined #yosys | 12:39 | |
| *** emeb_mac has quit IRC | 12:47 | |
| *** rohitksingh_work has quit IRC | 13:20 | |
| *** citypw has joined #yosys | 13:55 | |
| *** AlexDaniel has joined #yosys | 14:30 | |
| *** rohitksingh has joined #yosys | 14:57 | |
| *** kraiskil has joined #yosys | 15:07 | |
| *** AlexDaniel has quit IRC | 15:31 | |
| *** develonepi3 has joined #yosys | 15:57 | |
| *** rohitksingh has quit IRC | 16:04 | |
| *** rohitksingh has joined #yosys | 16:49 | |
| *** m4ssi has quit IRC | 17:44 | |
| *** X-Scale` has joined #yosys | 17:50 | |
| *** X-Scale has quit IRC | 17:51 | |
| *** X-Scale` is now known as X-Scale | 17:51 | |
| *** danieljabailey has quit IRC | 18:10 | |
| *** rohitksingh has quit IRC | 18:11 | |
| *** kraiskil has quit IRC | 18:54 | |
| *** kraiskil has joined #yosys | 19:08 | |
| *** _whitelogger has quit IRC | 19:28 | |
| *** kraiskil has quit IRC | 19:29 | |
| *** _whitelogger has joined #yosys | 19:30 | |
| *** Thorn has quit IRC | 19:44 | |
| *** Thorn has joined #yosys | 19:56 | |
| *** vmedea_ has joined #yosys | 22:20 | |
| *** vmedea has quit IRC | 22:21 | |
| *** togo has quit IRC | 22:47 | |
| *** citypw has quit IRC | 23:09 | |
| *** citypw has joined #yosys | 23:10 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!