From: [ Jim Hogan of Vista Ventures LLC ]
Subject: 9 major and 23 minor Formal ABV tool metrics – plus their gotchas
Hi, John
Here are the 9 major metrics that I feel an engineering team must consider when choosing what specific Formal ABV to use on their project (if any):
1. Performance/Capacity/Convergence
2. Debug
3. Set-Up and Control
4. Property Types
5. Standard Language Support
6. Coverage Mechanisms
7. Formal/Simulator Interoperability
8. Formal Engine Access
9. Customer Tech Support
Here’s a generalized F-ABV flow. Start at “design code” for input: