A novel assertion-based CAD tool for automatic extraction of functional coverage. - Abdelrahman G. Abubakr; Hatem El-Kharashy; Ahmed El-Yamany; Sameh El-Ashry; Khaled Salah 001 (ICM, 2016)

A novel assertions-based code coverage automatic CAD tool. - Hatem El-Kharashy; Mostafa Khamis; Amr Sala; Mohamed Korany (EUROCON, 2017)