High-Level Automatic Test Generation for VHDL Descriptions.

François Giamarchi Laurent Capocchi Dominique Federici Paul Bisgambiglia

Published in: CDES (2008)

Keyphrases

high level
test generation
low level
test cases
symbolic execution
design automation
mutation testing
test sequences
quality assurance
hardware implementation
software testing
static analysis
information systems
real world
regression testing
cooperative
computer vision