| *** tpb has joined #yosys | 00:00 | |
| *** emeb_mac has joined #yosys | 00:21 | |
| *** digshadow has quit IRC | 00:36 | |
| *** promach_ has joined #yosys | 00:44 | |
| promach_ | in smtbmc, what actually drives the always clocked block ? | 01:08 |
|---|---|---|
| *** dys has quit IRC | 01:51 | |
| *** leviathan has joined #yosys | 01:52 | |
| *** pie_ has joined #yosys | 01:53 | |
| *** leviathan has quit IRC | 01:58 | |
| *** leviathan has joined #yosys | 01:58 | |
| *** pie_ has quit IRC | 02:13 | |
| *** _whitelogger has quit IRC | 02:30 | |
| *** _whitelogger has joined #yosys | 02:33 | |
| *** _whitelogger has joined #yosys | 02:36 | |
| *** _whitelogger has quit IRC | 02:40 | |
| *** _whitelogger has joined #yosys | 02:42 | |
| *** _whitelogger has quit IRC | 02:46 | |
| *** _whitelogger has joined #yosys | 02:49 | |
| *** worldchat has joined #yosys | 03:25 | |
| *** worldchat has quit IRC | 03:27 | |
| *** worldchat has joined #yosys | 03:27 | |
| *** worldchat has joined #yosys | 03:28 | |
| *** worldchat has joined #yosys | 03:28 | |
| *** sklv has quit IRC | 03:50 | |
| *** dxld has quit IRC | 03:55 | |
| *** dxld has joined #yosys | 03:57 | |
| *** pie_ has joined #yosys | 04:31 | |
| *** noname_Matt has joined #yosys | 04:43 | |
| *** promach_ has quit IRC | 05:08 | |
| *** pie__ has joined #yosys | 05:44 | |
| *** pie_ has quit IRC | 05:46 | |
| *** _whitelogger has quit IRC | 06:04 | |
| *** _whitelogger has joined #yosys | 06:06 | |
| *** pie__ has quit IRC | 06:09 | |
| *** zetta has quit IRC | 06:18 | |
| *** zetta has joined #yosys | 06:18 | |
| *** pie_ has joined #yosys | 06:19 | |
| *** emeb_mac has quit IRC | 07:05 | |
| *** pie__ has joined #yosys | 07:09 | |
| *** pie_ has quit IRC | 07:10 | |
| *** pie__ has quit IRC | 07:12 | |
| *** pie__ has joined #yosys | 07:12 | |
| *** xerpi has joined #yosys | 07:25 | |
| *** zetta has quit IRC | 07:26 | |
| *** xerpi has joined #yosys | 07:26 | |
| *** xerpi has quit IRC | 07:27 | |
| *** xerpi has joined #yosys | 07:27 | |
| *** zetta has joined #yosys | 07:38 | |
| *** pie__ has quit IRC | 07:40 | |
| *** pie__ has joined #yosys | 07:41 | |
| *** ZipCPU|ztop has joined #yosys | 08:29 | |
| *** jwhitmore has joined #yosys | 08:33 | |
| *** zetta has quit IRC | 08:40 | |
| *** noname_Matt has quit IRC | 09:11 | |
| *** promach has quit IRC | 09:48 | |
| *** promach has joined #yosys | 09:58 | |
| *** worldchat has joined #yosys | 10:03 | |
| *** promach has quit IRC | 10:12 | |
| *** xerpi has quit IRC | 10:15 | |
| *** promach has joined #yosys | 10:15 | |
| *** lutsabound has joined #yosys | 10:56 | |
| *** ZipCPU|ztop has quit IRC | 11:02 | |
| *** ZipCPU|ztop has joined #yosys | 11:03 | |
| *** ZipCPU|ztop has quit IRC | 11:07 | |
| *** msgctl has joined #yosys | 11:22 | |
| *** emeb has joined #yosys | 14:12 | |
| *** promach_ has joined #yosys | 14:27 | |
| *** xerpi has joined #yosys | 14:45 | |
| *** zetta has joined #yosys | 15:40 | |
| *** m_w has joined #yosys | 15:40 | |
| *** develonepi3 has joined #yosys | 15:43 | |
| *** jwhitmore has quit IRC | 15:46 | |
| promach_ | awygle cr1901_modern : have you tried induction check on UART under multiclock ? | 15:49 |
| awygle | promach_: no | 15:50 |
| *** worldchat has quit IRC | 15:59 | |
| *** digshadow has joined #yosys | 16:03 | |
| *** pie_ has joined #yosys | 16:07 | |
| promach_ | awygle: this multiclock induction is driving me nuts | 16:17 |
| promach_ | I really have no idea what went wrong | 16:17 |
| promach_ | I mean the bug location | 16:17 |
| promach_ | wait, I think I just found it out | 16:19 |
| *** xerpi has quit IRC | 16:41 | |
| *** dys has joined #yosys | 16:58 | |
| *** promach_ has quit IRC | 17:13 | |
| lutsabound | Is zipcpu the only one who has formally verified his uart using dissimilar clocks? | 17:15 |
| *** jwhitmore has joined #yosys | 18:08 | |
| awygle | i'm not completely sure i understand what you're asking about. which "dissimilar clocks"? you mean verifying the asynchronous input? | 18:12 |
| lutsabound | I mean using one clock for the transmitter and another for the receiver when verifying the receiver | 18:14 |
| awygle | my receiver was verified with up to a 5% difference in nominal vs. actual data rate, if that's what you mean. i didn't verify it with totally independent clocks because i verified it post-synchronizer, so everything was in the same clock domain. | 18:24 |
| awygle | this seemed like a reasonable assumption as long as (UART data rate) << (system clock rate), which it almost always is. i verified at i think 16x oversampling but it would be easy to do more. | 18:25 |
| *** jwhitmore has quit IRC | 18:28 | |
| lutsabound | Two questions: is your code posted somewhere (and where), and two: did you use bmc only, or induction as well | 18:36 |
| awygle | it's posted here: https://github.com/awygle/spirit/tree/uart_lite_wip/uart_lite but that looks like it's missing some things. i haven't worked on this in months (since March apparently). i'll try and update it in the future, but the approach at least should be clear here | 18:39 |
| tpb | Title: spirit/uart_lite at uart_lite_wip · awygle/spirit · GitHub (at github.com) | 18:39 |
| *** leviathan has quit IRC | 18:42 | |
| lutsabound | Thanks! | 18:49 |
| *** jwhitmore has joined #yosys | 18:50 | |
| *** develonepi3 has quit IRC | 18:50 | |
| awygle | no problem. i'm still not totally satisfied with that design - it feels too permissive - but it was a good exercise and i haven't had time to go back and try to clean it up | 18:53 |
| *** develonepi3 has joined #yosys | 19:16 | |
| *** xdeller_ has quit IRC | 19:24 | |
| *** xdeller_ has joined #yosys | 19:24 | |
| *** jwhitmore has quit IRC | 19:25 | |
| *** Marex has quit IRC | 20:17 | |
| *** Marex has joined #yosys | 20:19 | |
| *** xerpi has joined #yosys | 20:40 | |
| *** jwhitmore has joined #yosys | 20:46 | |
| *** emeb has quit IRC | 20:50 | |
| *** emeb has joined #yosys | 20:51 | |
| *** jwhitmore has quit IRC | 20:52 | |
| *** jwhitmore has joined #yosys | 20:56 | |
| *** dys has quit IRC | 21:41 | |
| *** jwhitmore has quit IRC | 21:56 | |
| *** ZipCPU|ztop has joined #yosys | 21:57 | |
| *** sklv has joined #yosys | 22:05 | |
| *** dxld has quit IRC | 22:19 | |
| *** dxld has joined #yosys | 22:22 | |
| *** ZipCPU|ztop has quit IRC | 22:57 | |
| *** danieljabailey has quit IRC | 23:04 | |
| *** danieljabailey has joined #yosys | 23:04 | |
| *** pie_ has quit IRC | 23:20 | |
| *** xerpi has quit IRC | 23:23 | |
| *** pie_ has joined #yosys | 23:23 | |
| *** ZipCPU|ztop has joined #yosys | 23:26 | |
| *** lutsabound has quit IRC | 23:46 | |
| *** emeb has quit IRC | 23:51 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!