00:00 <awygle> well, by "we" i meant #yosys not you and i specifically

00:00 <ZipCPU> Oh, ok

00:00 <ZipCPU> I'd still be interested in hearing a quick summary.

00:02 <awygle> https://irclog.whitequark.org/yosys/2017-11-08#20493085 here's the link in the logs

00:03 <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

00:03 <ZipCPU> Ahh ... cool!

00:03 <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

00:04 <ZipCPU> Ok, I get it now.

00:04 <ZipCPU> Yeah, I've used assert() and assume() almost exclusively to day. cover() is a new thing for me.

00:05 <ZipCPU> ... perhaps it shouldn't be, but .. it is.

00:06 <awygle> eh, "should". what's "should"

00:09 <ZipCPU> Heheh