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