A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis. - Muhammad Waseem; Mohammed Omer (Infotech@Aerospace, 2012)