Assertion and Coverage Driven Test Generation Tool for RTL Designs.

Nourhan Muhammed Nour Hussein Khaled Salah Ayub Khan

Published in: UEMCON (2020)

Keyphrases

test generation
code coverage
design automation
test cases
symbolic execution
test suite
static analysis
test sequences
software testing
image processing
high level
high quality
multi agent
cooperative
multi agent systems
quality assurance