Tag Archives: formal verification

Property-Driven Development in Hardware

So this is one of those posts where after a short conversation with a colleague, something jumps into my head and I end up asking myself I wonder if this makes sense? The idea has to do with formal verification, which is … Continue reading

Posted in Agile Development | Tagged | 9 Comments