clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
captain_morgan has quit [Remote host closed the connection]
TFKyle has quit [Quit: :q!]
seldridge has quit [Ping timeout: 246 seconds]
jkiv has quit [Ping timeout: 240 seconds]
vinny_ has joined #yosys
seldridge has joined #yosys
digshadow has quit [Ping timeout: 240 seconds]
jkiv has joined #yosys
digshadow has joined #yosys
digshadow has quit [Quit: Leaving.]
digshadow has joined #yosys
digshadow has quit [Ping timeout: 240 seconds]
digshadow has joined #yosys
pie_ has joined #yosys
gnufan has quit [Ping timeout: 240 seconds]
gnufan has joined #yosys
proteusguy has quit [Remote host closed the connection]
jkiv has quit [Ping timeout: 264 seconds]
gnufan has quit [Quit: Leaving.]
AlexDaniel has quit [Ping timeout: 248 seconds]
nrossi has joined #yosys
AlexDaniel has joined #yosys
seldridge has quit [Ping timeout: 240 seconds]
oldtopman has quit [Ping timeout: 246 seconds]
eduardo_ has quit [Read error: Connection reset by peer]
oldtopman has joined #yosys
eduardo_ has joined #yosys
vinny_ has quit [Quit: Page closed]
dys has joined #yosys
eduardo__ has joined #yosys
eduardo_ has quit [Ping timeout: 240 seconds]
promach_ has quit [Ping timeout: 248 seconds]
promach_ has joined #yosys
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
m_t has joined #yosys
pie_ has quit [Ping timeout: 248 seconds]
AlexDaniel has quit [Ping timeout: 265 seconds]
pie_ has joined #yosys
AlexDaniel has joined #yosys
jkiv has joined #yosys
Guest7389 is now known as jayaura
jkiv has quit [Ping timeout: 260 seconds]
jkiv has joined #yosys
seldridge has joined #yosys
seldridge0 has joined #yosys
seldridge has quit [Ping timeout: 268 seconds]
seldridge0 has quit [Ping timeout: 240 seconds]
philtor has quit [Ping timeout: 240 seconds]
seldridge0 has joined #yosys
philtor has joined #yosys
pie_ has quit [Ping timeout: 256 seconds]
dys has quit [Ping timeout: 255 seconds]
pie_ has joined #yosys
seldridge0 has quit [Ping timeout: 240 seconds]
adj__ has quit [Ping timeout: 240 seconds]
pie__ has joined #yosys
pie_ has quit [Ping timeout: 268 seconds]
seldridge0 has joined #yosys
digshadow has quit [Ping timeout: 246 seconds]
<cr1901_modern> Do yosys proofs work with tristates?
digshadow has joined #yosys
seldridge0 has quit [Ping timeout: 240 seconds]
seldridge0 has joined #yosys
dys has joined #yosys
seldridge0 has quit [Quit: WeeChat 1.4]
seldridge has joined #yosys
<jkiv> Is there a reference for the .pcf format? Or, is there a way to specify pullup/down in the .pcf?
<cr1901_modern> jkiv: No, you must specify the pullup/down manually as a primitive
adj__ has joined #yosys
captain_morgan has joined #yosys
nrossi has quit [Quit: Connection closed for inactivity]
leviathanch has quit [Remote host closed the connection]
dys has quit [Ping timeout: 240 seconds]