What Can the SAT Experience Teach Us About Abstraction? Ken McMillan Cadence Berkeley Labs Abstraction and SAT Abstraction is key to applying formal verification to real…