Skip to content

Feature extraction from design documents to enable rule learning for improving assertion coverage.

Kuo-Kai Hsieh, Sebastian Siatkowski, Li-C. Wang, Wen Chen, Jayanta Bhadra

VenueBASPDAC
Year2017
ProceedingsASP-DAC

Browse the full ASPDAC paper archive.