checkToken: Verify that the source data has been compiled using actel's preload function
Description
Verify that the source data has been compiled using actel's preload function
Usage
checkToken(token, timestamp)
Arguments
timestamp
The time when the token was issued
input
The token generated by preload
Value
No return value. Called for side effects.