zachjs has quit [Remote host closed the connection]
zachjs has joined #yosys
zachjs has quit [Ping timeout: 268 seconds]
zachjs has joined #yosys
emeb has quit [Quit: Leaving.]
Cerpin has quit [Read error: Connection reset by peer]
Cerpin has joined #yosys
zachjs has quit [Read error: Connection reset by peer]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
futarisIRCcloud has joined #yosys
gsi__ has joined #yosys
gsi_ has quit [Ping timeout: 245 seconds]
PyroPeter has quit [Ping timeout: 258 seconds]
PyroPeter has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
zachjs has joined #yosys
zachjs has quit [Remote host closed the connection]
s_frit_ has quit [Ping timeout: 255 seconds]
rohitksingh_work has joined #yosys
zachjs has joined #yosys
zachjs has quit [Ping timeout: 255 seconds]
zachjs has joined #yosys
dys has quit [Ping timeout: 245 seconds]
kraiskil__ has joined #yosys
emeb_mac has quit [Ping timeout: 246 seconds]
m4ssi has joined #yosys
zachjs has quit [Ping timeout: 246 seconds]
jevinskie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kraiskil__ has quit [Ping timeout: 252 seconds]
jevinskie has joined #yosys
fsasm has joined #yosys
futarisIRCcloud has joined #yosys
voxadam has quit [Read error: Connection reset by peer]
voxadam has joined #yosys
kraiskil has joined #yosys
alexhw has quit [Remote host closed the connection]
alexhw has joined #yosys
togo has joined #yosys
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
kraiskil has quit [Ping timeout: 246 seconds]
pie_ has quit [Remote host closed the connection]
pie_ has joined #yosys
kraiskil has joined #yosys
zachjs has joined #yosys
MoeIcenowy has joined #yosys
kraiskil_ has joined #yosys
kraiskil has quit [Ping timeout: 246 seconds]
rohitksingh_work has quit [Read error: Connection reset by peer]
MoeIcenowy has joined #yosys
jakobwenzel has quit [Quit: jakobwenzel]
fsasm has quit [Ping timeout: 246 seconds]
rohitksingh has joined #yosys
kraiskil_ has quit [Ping timeout: 244 seconds]
zachjs has quit [Remote host closed the connection]
zachjs has joined #yosys
emeb has joined #yosys
MoeIcenowy has joined #yosys
kraiskil_ has joined #yosys
zachjs has quit [Remote host closed the connection]
emeb has quit [Quit: Leaving.]
m4ssi has quit [Remote host closed the connection]
kraiskil_ has quit [Ping timeout: 244 seconds]
zachjs has joined #yosys
jevinskie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jevinskie has joined #yosys
jevinskie has quit [Client Quit]
<
bwidawsk>
are there instructions somewhere for programming the SPI on the ECP5 evaluation board?
zachjs has quit [Remote host closed the connection]
kraiskil_ has joined #yosys
MoeIcenowy has joined #yosys
* ZipCPU
would have to google to find out
<
ZipCPU>
Check Lattice's doc's. Yosys should maintain the same interface
jevinskie has joined #yosys
jevinskie has quit [Client Quit]
jevinskie has joined #yosys
zachjs has joined #yosys
ravenexp has joined #yosys
jevinskie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gsi__ is now known as gsi_
kraiskil_ has quit [Ping timeout: 244 seconds]
s_frit has joined #yosys
alcorn has joined #yosys
rohitksingh has quit [Ping timeout: 268 seconds]
rohitksingh has joined #yosys
emeb has joined #yosys
zachjs has quit [Remote host closed the connection]
rohitksingh has quit [Ping timeout: 245 seconds]
zachjs has joined #yosys
zachjs has quit [Remote host closed the connection]
zachjs has joined #yosys
emeb_mac has joined #yosys
futarisIRCcloud has joined #yosys
gnufan_home has joined #yosys
togo has quit [Ping timeout: 258 seconds]
_whitelogger has joined #yosys
alcorn has quit [Quit: alcorn]
alcorn has joined #yosys
<
chaseemory>
ZipCPU, found out about the verific front end for Symbiyosys at Latch-Up last weekend, now I can really dive into this formal stuff
alcorn1 has joined #yosys
alcorn has quit [Client Quit]
alcorn1 is now known as alcorn
alcorn has quit [Read error: Connection reset by peer]
alcorn has joined #yosys
alcorn has quit [Ping timeout: 246 seconds]
alcorn has joined #yosys
alcorn has quit [Client Quit]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
alcorn has joined #yosys