At-Speed Functional Verification of Programmable Devices