<ZipCPU>
awygle: What type of equivalent checking?
<ZipCPU>
Ahh ... slide 34 ... nope, never used it.
<awygle>
ZipCPU: since you're here... any idea why "synth_ice40 -blif <file>" works but "synth_ice40" followed by "write_blif <file>" produces a file that arachne-pnr can't read?
<ZipCPU>
Really?
<ZipCPU>
How big is the design? Can you share it?
* ZipCPU
opens up the yosys documentation ...
<ZipCPU>
Did you try "write_blif -gates -attr -param <filename>blif" ?
<awygle>
i did not, and i do suspect that's the problem (since that's the command synth_ice40 uses) but i'd like to understand why
<awygle>
by reading the yosys docs it seems the answer is "because cseed wrote it that way, but it's basically equivalent"
<ZipCPU>
Did you try "yosys ; help write_blif" ?
<ZipCPU>
(sort of ... I mean enter yosys and then enter the command help write_blif ...)
<awygle>
yes
<awygle>
i may be looking for deper truth where there is none tbh
<awygle>
*deeper
<ZipCPU>
Well ... the -attr and -param things were rather revealing.
<ZipCPU>
Those read like the arachnepnr wants particular exceptions to the blif standard format.
<awygle>
the error i get is actually related to .subckt so i suspect -gates is more important
<awygle>
at least for my specific case
<awygle>
but i agree
hdante has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
sklv has quit [Quit: quit]
X-Scale has joined #yosys
gnufan has joined #yosys
AlexDaniel has quit [Ping timeout: 240 seconds]
promach_ has joined #yosys
dys has joined #yosys
AlexDaniel has joined #yosys
AlexDaniel has quit [Read error: Connection reset by peer]
AlexDaniel has joined #yosys
promach_ has quit [Quit: Leaving]
gnufan has quit [Ping timeout: 248 seconds]
ZipCPU has quit [Ping timeout: 255 seconds]
ZipCPU has joined #yosys
gnufan has joined #yosys
m_t has joined #yosys
gnufan has quit [Ping timeout: 248 seconds]
gnufan has joined #yosys
dys has quit [Ping timeout: 255 seconds]
m_t has quit [Quit: Leaving]
AlexDaniel has quit [Ping timeout: 276 seconds]
sklv has joined #yosys
AlexDaniel has joined #yosys
sklv has quit [Quit: quit]
sklv has joined #yosys
hdante has joined #yosys
gnufan1 has joined #yosys
gnufan has quit [Ping timeout: 260 seconds]
LongHairedHacker has quit [Remote host closed the connection]