A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis
Infotech@Aerospace 2012
01.01.2012
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis
British Library Conference Proceedings | 2012
|British Library Conference Proceedings | 1995
|