Ontology-Based Tools in the Service of Hardware Verification.

Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko

Browse the full SEKE paper archive.