clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
proteusguy has quit [Remote host closed the connection]
proteusguy has joined #yosys
leviathanch has joined #yosys
gsi__ has joined #yosys
gsi_ has quit [Ping timeout: 268 seconds]
jevinski_ has joined #yosys
jevinskie has quit [Ping timeout: 268 seconds]
pie__ has joined #yosys
pie_ has quit [Ping timeout: 246 seconds]
_whitelogger has joined #yosys
gsi__ is now known as gsi_
emeb_mac has quit [Ping timeout: 240 seconds]
proteusguy has quit [Ping timeout: 244 seconds]
leviathanch has quit [Remote host closed the connection]
rohitksingh has joined #yosys
promach_ has joined #yosys
<promach_> have anyone had "warmup failed" error using yosys-smtbmc ?
rohitksingh has quit [Ping timeout: 244 seconds]
rohitksingh has joined #yosys
proteusguy has joined #yosys
<ZipCPU> Warmup failed means that your assumptions are self-contradictory
<ZipCPU> If you get the error, typically you need to bisect your assumptions until you find the two that contradict
<promach_> bisect the assumptions <-- ?
<ZipCPU> Yes, because the problem exists within your set of assumptions, and you need to find the ones that contradict
<ZipCPU> So the way to find an error like this is to go through your list of assumptions, turning them off until you no longer get the warmup failed message
<ZipCPU> At that point, you should be able to identify which assumptions are contradictory and why
<ZipCPU> By "turn them off" I mean commenting them out
<promach_> ok
_whitelogger has joined #yosys
leviathanch has joined #yosys
AlexDaniel has quit [Ping timeout: 240 seconds]
rohitksingh has quit [Ping timeout: 240 seconds]
rohitksingh has joined #yosys
rohitksingh has quit [Ping timeout: 240 seconds]
AlexDaniel has joined #yosys
lutsabound has joined #yosys
rohitksingh has joined #yosys
leviathanch has quit [Remote host closed the connection]
citypw has quit [Ping timeout: 250 seconds]
emeb has joined #yosys
promach_ has quit [Ping timeout: 240 seconds]
m4ssi has joined #yosys
AlexDaniel has quit [Ping timeout: 240 seconds]
FL4SHK has joined #yosys
rohitksingh has quit [Ping timeout: 244 seconds]
m4ssi has quit [Remote host closed the connection]
X-Scale has joined #yosys
cr1901_modern has quit [Ping timeout: 240 seconds]
tpb has quit [Remote host closed the connection]
tpb has joined #yosys