develonepi3 has quit [Remote host closed the connection]
emeb has left #yosys [#yosys]
SpaceCoaster has joined #yosys
vmedea has quit [Ping timeout: 250 seconds]
vmedea has joined #yosys
PyroPeter has quit [Ping timeout: 240 seconds]
citypw has joined #yosys
PyroPeter has joined #yosys
Cerpin has quit [Read error: Connection reset by peer]
Cerpin has joined #yosys
emeb has joined #yosys
emeb has quit [Quit: Leaving.]
emeb has joined #yosys
emeb has left #yosys [#yosys]
gsi__ has joined #yosys
pie___ has joined #yosys
rohitksingh_work has joined #yosys
gsi_ has quit [Ping timeout: 272 seconds]
emeb has joined #yosys
pie__ has quit [Ping timeout: 246 seconds]
emeb has left #yosys [#yosys]
<bpye>
Hm, perhaps this is an odd idea, but can yosys do formal verification over parameters?
<sorear>
if you mean unbounded parameters like integers, then very much not
<sorear>
that's not something that solver-based formal can handle
<sorear>
for parameters that are just booleans or finite bit strings, idk
cr1901_modern has quit [Ping timeout: 244 seconds]
<bpye>
Seems that if you can redefine your parameters as registers for the sake of a test then I guess you can, perhaps the question then becomes should you...
citypw has quit [Ping timeout: 244 seconds]
emeb_mac has quit [Ping timeout: 272 seconds]
proteusguy has joined #yosys
proteusguy has quit [Ping timeout: 245 seconds]
citypw has joined #yosys
ZipCPU has quit [Ping timeout: 268 seconds]
ZipCPU has joined #yosys
rohitksingh_work has quit [Ping timeout: 268 seconds]
cr1901_modern has joined #yosys
_whitelogger has joined #yosys
m_w has quit [Ping timeout: 245 seconds]
togo has joined #yosys
m4ssi has joined #yosys
citypw has quit [Ping timeout: 245 seconds]
futarisIRCcloud has quit [Quit: Connection closed for inactivity]
mwk has quit [Ping timeout: 246 seconds]
rohitksingh_work has joined #yosys
mwk has joined #yosys
emeb_mac has joined #yosys
emeb_mac has quit [Quit: Leaving.]
rohitksingh_work has quit [Read error: Connection reset by peer]
citypw has joined #yosys
AlexDaniel has joined #yosys
rohitksingh has joined #yosys
kraiskil has joined #yosys
AlexDaniel has quit [Ping timeout: 246 seconds]
develonepi3 has joined #yosys
rohitksingh has quit [Ping timeout: 272 seconds]
rohitksingh has joined #yosys
m4ssi has quit [Remote host closed the connection]
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 245 seconds]
X-Scale` is now known as X-Scale
danieljabailey has quit [Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in]