Assertion and Coverage Driven Test Generation Tool for RTL Designs. - Nourhan Muhammed; Nour Hussein; Khaled Salah 002; Ayub Khan (UEMCON, 2020)