A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis.

Muhammad Waseem Mohammed Omer

Published in: Infotech@Aerospace (2012)

Keyphrases

model checking
data analysis
dependency analysis
knowledge discovery
computation tree logic
xml documents
attribute values
temporal logic
formal verification
temporal properties