A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis
Infotech@Aerospace 2012
2012-01-01
Conference paper
Electronic Resource
English
2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis
British Library Conference Proceedings | 2012
|British Library Conference Proceedings | 1995
|