Applying verification intention for design customization via property mining under constrained testbenches.

Chih-Neng Chung, Chia-Wei Chang, Kai-Hui Chang, Sy-Yen Kuo

Browse the full ICCD paper archive.