pie_ has quit [Read error: Connection reset by peer]
_whitelogger has joined #yosys
worldchat has joined #yosys
worldchat has quit [K-Lined]
worldchat has joined #yosys
worldchat has quit [K-Lined]
worldchat has joined #yosys
worldchat has quit [K-Lined]
worldchat has joined #yosys
worldchat has quit [K-Lined]
sklv has quit [Remote host closed the connection]
dxld has quit [Quit: Bye]
dxld has joined #yosys
pie_ has joined #yosys
noname_Matt has joined #yosys
promach_ has quit [Quit: WeeChat 2.1]
pie__ has joined #yosys
pie_ has quit [Ping timeout: 240 seconds]
_whitelogger has joined #yosys
pie__ has quit [Quit: Leaving]
zetta has quit [Ping timeout: 248 seconds]
zetta has joined #yosys
pie_ has joined #yosys
emeb_mac has quit [Quit: Leaving.]
pie__ has joined #yosys
pie_ has quit [Read error: Connection reset by peer]
pie__ has quit [Read error: Connection reset by peer]
pie__ has joined #yosys
xerpi has joined #yosys
xerpi has quit [Remote host closed the connection]
zetta has quit [Ping timeout: 264 seconds]
xerpi has joined #yosys
xerpi has quit [Remote host closed the connection]
xerpi has joined #yosys
zetta has joined #yosys
pie__ has quit [Remote host closed the connection]
pie__ has joined #yosys
pie__ has quit [Client Quit]
ZipCPU|ztop has joined #yosys
jwhitmore has joined #yosys
zetta has quit [Ping timeout: 264 seconds]
noname_Matt has quit [Ping timeout: 260 seconds]
promach has quit [Quit: WeeChat 2.1-dev]
promach has joined #yosys
worldchat has joined #yosys
promach has quit [Quit: WeeChat 2.1-dev]
xerpi has quit [Quit: Leaving]
promach has joined #yosys
lutsabound has joined #yosys
ZipCPU|ztop has quit [Remote host closed the connection]
ZipCPU|ztop has joined #yosys
ZipCPU|ztop has quit [Ping timeout: 256 seconds]
msgctl has joined #yosys
emeb has joined #yosys
promach_ has joined #yosys
xerpi has joined #yosys
zetta has joined #yosys
m_w has joined #yosys
develonepi3 has joined #yosys
jwhitmore has quit [Remote host closed the connection]
<promach_>
awygle cr1901_modern : have you tried induction check on UART under multiclock ?
<awygle>
promach_: no
worldchat has quit [Excess Flood]
digshadow has joined #yosys
pie_ has joined #yosys
<promach_>
awygle: this multiclock induction is driving me nuts
<promach_>
I really have no idea what went wrong
<promach_>
I mean the bug location
<promach_>
wait, I think I just found it out
xerpi has quit [Quit: Leaving]
dys has joined #yosys
promach_ has quit [Quit: WeeChat 2.1]
<lutsabound>
Is zipcpu the only one who has formally verified his uart using dissimilar clocks?
jwhitmore has joined #yosys
<awygle>
i'm not completely sure i understand what you're asking about. which "dissimilar clocks"? you mean verifying the asynchronous input?
<lutsabound>
I mean using one clock for the transmitter and another for the receiver when verifying the receiver
<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.
<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.
jwhitmore has quit [Remote host closed the connection]
<lutsabound>
Two questions: is your code posted somewhere (and where), and two: did you use bmc only, or induction as well
<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
<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
develonepi3 has joined #yosys
xdeller_ has quit [Remote host closed the connection]
xdeller_ has joined #yosys
jwhitmore has quit [Remote host closed the connection]
Marex has quit [Ping timeout: 240 seconds]
Marex has joined #yosys
xerpi has joined #yosys
jwhitmore has joined #yosys
emeb has quit [Ping timeout: 248 seconds]
emeb has joined #yosys
jwhitmore has quit [Remote host closed the connection]
jwhitmore has joined #yosys
dys has quit [Ping timeout: 248 seconds]
jwhitmore has quit [Remote host closed the connection]
ZipCPU|ztop has joined #yosys
sklv has joined #yosys
dxld has quit [Quit: Bye]
dxld has joined #yosys
ZipCPU|ztop has quit [Ping timeout: 265 seconds]
danieljabailey has quit [Quit: ZNC 1.6.5+deb2build2 - http://znc.in]
danieljabailey has joined #yosys
pie_ has quit [Ping timeout: 264 seconds]
xerpi has quit [Quit: Leaving]
pie_ has joined #yosys
ZipCPU|ztop has joined #yosys
lutsabound has quit [Quit: Connection closed for inactivity]