clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
<awygle> well, by "we" i meant #yosys not you and i specifically
<ZipCPU> Oh, ok
<ZipCPU> I'd still be interested in hearing a quick summary.
<awygle> https://irclog.whitequark.org/yosys/2017-11-08#20493085 here's the link in the logs
<awygle> the summary is that safety properties and liveness properties form a basis for the space of properties - that is, any property is a combination of safety and liveness properties, so if you can prove both of those you can prove anything
<ZipCPU> Ahh ... cool!
<awygle> the assert-based methodologies we've mostly discussed here cover safety properties, as i understand it, so i'm interested in hearing about your experiments with cover() as i think that's more of a liveness thing
<ZipCPU> Ok, I get it now.
<ZipCPU> Yeah, I've used assert() and assume() almost exclusively to day. cover() is a new thing for me.
<ZipCPU> ... perhaps it shouldn't be, but .. it is.
<awygle> eh, "should". what's "should"
<ZipCPU> Heheh
jimn has joined #yosys
digshadow has quit [Quit: Leaving.]
digshadow has joined #yosys
seldridge has quit [Ping timeout: 256 seconds]
digshadow has quit [Ping timeout: 248 seconds]
digshadow has joined #yosys
nrossi has joined #yosys
leviathanch has joined #yosys
kraiskil has joined #yosys
AlexDaniel has joined #yosys
digshadow has quit [Quit: Leaving.]
digshadow has joined #yosys
kraiskil has quit [Ping timeout: 260 seconds]
eduardo__ has joined #yosys
eduardo_ has quit [Ping timeout: 240 seconds]
leviathanch has quit [Remote host closed the connection]
kraiskil has joined #yosys
dys has joined #yosys
m_t has joined #yosys
marex-cloud_ has joined #yosys
adj__2 has joined #yosys
kuldeep_ has joined #yosys
promach has quit [Ping timeout: 276 seconds]
marex-cloud has quit [Ping timeout: 276 seconds]
adj__ has quit [Ping timeout: 276 seconds]
oldtopman has quit [Ping timeout: 276 seconds]
bpye has quit [Ping timeout: 276 seconds]
kuldeep has quit [Ping timeout: 276 seconds]
brandonz has quit [Ping timeout: 276 seconds]
ovf has quit [Ping timeout: 276 seconds]
bpye has joined #yosys
sorear has quit [Ping timeout: 276 seconds]
oldtopman has joined #yosys
ovf has joined #yosys
sorear has joined #yosys
brandonz has joined #yosys
promach has joined #yosys
X-Scale has quit [Read error: Connection reset by peer]
dys has quit [Ping timeout: 240 seconds]
leviathanch has joined #yosys
marex-cloud_ is now known as marex-cloud
massi has joined #yosys
AlexDaniel has quit [Ping timeout: 248 seconds]
dys has joined #yosys
dys has quit [Ping timeout: 248 seconds]
dys has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
X-Scale has joined #yosys
dys has quit [Ping timeout: 260 seconds]
daveshah has joined #yosys
seldridge has joined #yosys
dys has joined #yosys
seldridge has quit [Quit: WeeChat 1.4]
seldridge has joined #yosys
kraiskil has quit [Ping timeout: 264 seconds]
daveshah has quit [Quit: daveshah]
AlexDaniel has joined #yosys
dys has quit [Ping timeout: 268 seconds]
kraiskil has joined #yosys
massi has quit [Quit: Leaving]
leviathanch has quit [Ping timeout: 268 seconds]
leviathanch has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
seldridge has quit [Ping timeout: 264 seconds]
ccole has joined #yosys
seldridge has joined #yosys
digshadow has quit [Ping timeout: 276 seconds]
nrossi has quit [Quit: Connection closed for inactivity]
kraiskil has joined #yosys
kraiskil has quit [Ping timeout: 252 seconds]
digshadow has joined #yosys
danieljabailey has quit [Ping timeout: 248 seconds]
cr1901_modern has quit [Ping timeout: 240 seconds]
forrestv has quit [Excess Flood]
cr1901_modern has joined #yosys
forrestv has joined #yosys
cr1901_modern has quit [Ping timeout: 248 seconds]
cr1901_modern has joined #yosys
leviathanch has quit [Ping timeout: 276 seconds]
leviathanch has joined #yosys
leviathanch has quit [Remote host closed the connection]
leviathanch has joined #yosys
ccole has quit [Quit: Lost terminal]
captain_morgan has quit [Remote host closed the connection]
strfry has quit [Ping timeout: 265 seconds]
strfry has joined #yosys
leviathanch has quit [Remote host closed the connection]
m_t has quit [Quit: Leaving]
siqueira_ has joined #yosys
captain_morgan has joined #yosys
captain_morgan has quit [Remote host closed the connection]
captain_morgan has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
cr1901_modern has joined #yosys
captain_morgan has quit [Remote host closed the connection]