<ZipCPU>
YES! I found the butterfly bug. It now passes in 6hrs of processing, full proof too!
<sorear>
\o/
<ZipCPU>
It wasn't really a bug in the butterfly itself, but rather an optimization that I could use to get it to pass *faster*
<ZipCPU>
That's now proof one of six ... I'll need to adjust the other five proofs so they are similarly optimized.
<awygle>
yaaaaaaaaaaaaaaaaaaaay
<ZipCPU>
Exactly!
<ZipCPU>
But this means that the FFT is fully formally proven for two of the four modes it can operate in: 1 sample per clock, or two samples per clock.
phire has quit [*.net *.split]
mrsteveman1 has quit [*.net *.split]
kbeckmann has quit [*.net *.split]
cr1901_modern has quit [Ping timeout: 240 seconds]
phire has joined #yosys
mrsteveman1 has joined #yosys
cr1901_modern has joined #yosys
<pie_>
schweet~
digshadow has joined #yosys
rohitksingh_work has joined #yosys
seldridge has joined #yosys
cr1901_modern has quit [Ping timeout: 245 seconds]
cr1901_modern has joined #yosys
seldridge has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
cr1901_modern has quit [Ping timeout: 245 seconds]
azonenberg_work has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
seldridge has joined #yosys
azonenberg_work has joined #yosys
kuldeep has quit [Ping timeout: 252 seconds]
kuldeep has joined #yosys
seldridge has quit [Ping timeout: 252 seconds]
kuldeep has quit [Ping timeout: 244 seconds]
kuldeep has joined #yosys
AlexDaniel has quit [Ping timeout: 245 seconds]
cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
fsasm has joined #yosys
azonenberg_work has quit [Ping timeout: 250 seconds]
fsasm has quit [Ping timeout: 272 seconds]
azonenberg_work has joined #yosys
dys has quit [Ping timeout: 252 seconds]
emeb_mac has quit [Quit: Leaving.]
rohitksingh has joined #yosys
rohitksingh has quit [Quit: Leaving.]
fsasm has joined #yosys
AlexDaniel has joined #yosys
fsasm has quit [Quit: Leaving]
m_t has joined #yosys
TFKyle has quit [Remote host closed the connection]
GuzTech has joined #yosys
rohitksingh_work has quit [Read error: Connection reset by peer]
rohitksingh has joined #yosys
rohitksingh has quit [Client Quit]
cr1901_modern has quit [Read error: Connection reset by peer]
vup has quit [Quit: Ping timeout (120 seconds)]
vup has joined #yosys
cr1901_modern has joined #yosys
danieljabailey has quit [Ping timeout: 272 seconds]
danieljabailey has joined #yosys
rohitksingh has joined #yosys
AlexDaniel has quit [Ping timeout: 245 seconds]
rohitksingh has quit [Client Quit]
rohitksingh has joined #yosys
rohitksingh has quit [Client Quit]
azonenberg_work has quit [Ping timeout: 252 seconds]
develonepi3 has joined #yosys
seldridge has joined #yosys
GuzTech has quit [Quit: Leaving]
rohitksingh has joined #yosys
seldridge has quit [Ping timeout: 252 seconds]
seldridge has joined #yosys
m_t has quit [Read error: Connection reset by peer]
dys has joined #yosys
azonenberg_work has joined #yosys
digshadow has quit [Quit: Leaving.]
digshadow has joined #yosys
digshadow has quit [Client Quit]
rohitksingh has quit [Quit: Leaving.]
azonenberg_work has quit [Ping timeout: 252 seconds]
xerpi has joined #yosys
azonenberg_work has joined #yosys
xerpi has quit [Remote host closed the connection]
xerpi has joined #yosys
digshadow has joined #yosys
xerpi has quit [Remote host closed the connection]
AlexDaniel has joined #yosys
dys has quit [Ping timeout: 240 seconds]
dys has joined #yosys
digshadow has quit [Ping timeout: 250 seconds]
m_t has joined #yosys
kuldeep has quit [Ping timeout: 240 seconds]
kuldeep has joined #yosys
NB0X-Matt-CA has quit [Excess Flood]
NB0X-Matt-CA has joined #yosys
kuldeep has quit [Ping timeout: 250 seconds]
kuldeep has joined #yosys
GuzTech has joined #yosys
kuldeep has quit [Ping timeout: 252 seconds]
develonepi3 has quit [Remote host closed the connection]
azonenberg_work has quit [Read error: Connection timed out]
azonenberg_work has joined #yosys
AlexDaniel has quit [Read error: Connection reset by peer]
AlexDaniel has joined #yosys
emeb has joined #yosys
pie_ has quit [Remote host closed the connection]
pie_ has joined #yosys
GuzTech has quit [Read error: Connection reset by peer]
AlexDaniel has quit [Read error: Connection reset by peer]
ym has quit [Remote host closed the connection]
kuldeep has joined #yosys
AlexDaniel has joined #yosys
brasilino has joined #yosys
azonenberg_work has quit [Read error: Connection reset by peer]
azonenberg_work has joined #yosys
brasilino has quit [Quit: Leaving]
seldridge has quit [Ping timeout: 252 seconds]
m_t has quit [Read error: Connection reset by peer]