| *** tpb has joined #yosys | 00:00 | |
| *** AlexDaniel has quit IRC | 00:07 | |
| *** emeb has quit IRC | 01:14 | |
| *** emeb_mac has joined #yosys | 01:22 | |
| *** _whitelogger has quit IRC | 02:25 | |
| *** _whitelogger has joined #yosys | 02:27 | |
| *** gsi__ has joined #yosys | 02:43 | |
| *** SpaceCoaster has quit IRC | 02:46 | |
| *** gsi_ has quit IRC | 02:46 | |
| *** seldridge has quit IRC | 03:15 | |
| *** tecepe has quit IRC | 03:38 | |
| *** citypw has joined #yosys | 03:41 | |
| *** proteusguy has quit IRC | 03:47 | |
| *** proteusguy has joined #yosys | 03:48 | |
| *** kuldeep has quit IRC | 04:15 | |
| *** leviathanch has joined #yosys | 04:20 | |
| *** kuldeep has joined #yosys | 04:22 | |
| *** promach has joined #yosys | 04:24 | |
| promach | why does cover($past(full)); failed but cover(full); passed ? https://i.imgur.com/40EC9Xh.png | 04:24 |
|---|---|---|
| promach | https://gist.github.com/promach/1854bb054bb751fdfe02a3e655266e8e#file-async_fifo-sv-L328 | 04:25 |
| tpb | Title: An asynchronous FIFO implementation from the book "The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits" ยท GitHub (at gist.github.com) | 04:25 |
| *** rohitksingh has joined #yosys | 04:30 | |
| *** seldridge has joined #yosys | 04:37 | |
| *** pie___ has joined #yosys | 04:47 | |
| *** pie__ has quit IRC | 04:50 | |
| promach | see https://verificationacademy.com/forums/systemverilog/cover-failed-asynchronous-fifo for more context | 04:57 |
| tpb | Title: cover() failed for asynchronous fifo | Verification Academy (at verificationacademy.com) | 04:57 |
| *** proteusguy has quit IRC | 05:33 | |
| *** rohitksingh_work has joined #yosys | 05:43 | |
| *** proteusguy has joined #yosys | 05:49 | |
| *** rohitksingh has quit IRC | 05:54 | |
| *** rohitksingh_ has joined #yosys | 05:54 | |
| *** rohitksingh_ has quit IRC | 05:58 | |
| *** seldridge has quit IRC | 06:47 | |
| *** AlexDaniel has joined #yosys | 07:11 | |
| *** emeb_mac has quit IRC | 07:30 | |
| *** mjoldfield has quit IRC | 07:55 | |
| *** dys has quit IRC | 08:02 | |
| *** fsasm has joined #yosys | 08:57 | |
| *** proteusguy has quit IRC | 09:51 | |
| *** mjoldfield has joined #yosys | 10:04 | |
| *** citypw has quit IRC | 10:11 | |
| *** proteusguy has joined #yosys | 10:11 | |
| *** leviathanch has quit IRC | 11:11 | |
| *** AlexDaniel has quit IRC | 12:06 | |
| *** rohitksingh_work has quit IRC | 13:00 | |
| *** develonepi3 has joined #yosys | 13:02 | |
| *** rohitksingh has joined #yosys | 14:01 | |
| *** proteusguy has quit IRC | 14:21 | |
| *** proteusguy has joined #yosys | 14:33 | |
| *** citypw has joined #yosys | 14:45 | |
| *** seldridge has joined #yosys | 15:10 | |
| *** seldridge has quit IRC | 15:28 | |
| *** FL4SHK has joined #yosys | 16:10 | |
| *** seldridge has joined #yosys | 16:17 | |
| *** emeb has joined #yosys | 16:21 | |
| *** citypw has quit IRC | 16:39 | |
| *** AlexDaniel has joined #yosys | 17:09 | |
| *** dys has joined #yosys | 17:41 | |
| *** dys has quit IRC | 17:53 | |
| *** fsasm has quit IRC | 18:01 | |
| *** dys has joined #yosys | 18:35 | |
| *** rohitksingh has quit IRC | 18:51 | |
| *** seldridge has quit IRC | 20:14 | |
| *** seldridge has joined #yosys | 20:29 | |
| *** seldridge has quit IRC | 20:52 | |
| *** seldridge has joined #yosys | 21:27 | |
| *** massi_ has joined #yosys | 21:29 | |
| *** massi_ has quit IRC | 21:50 | |
| *** seldridge has quit IRC | 23:15 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!
