Ontology-based tools in the service of hardware verificationEyal BinAlaa Ghanayimet al.2010SEKE 2010Conference paper