Simulator vs. Specification
Verification
•
We are building a verified simulator for SDL
specifications – one-time effort
•
Design engineers can use the simulator
to
verify SDL specifications – multiple
verification efforts on multiple designs
•
ACL2 used in both cases