Using Static RTL Analysis to Accelerate Satellite FPGA Verification Author(s): Adam Taylor and Dave Wallace Download