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