Hardware Verification for Avionics & Safety Critical Design Posted By: IEEE Signal Processing 2012-05-23