Login / Signup
RTL-based functional test generation for high defects coverage in digital SOCs.
Marcelino B. Santos
Fernando M. Gonçalves
Isabel C. Teixeira
João Paulo Teixeira
Published in:
ETW (2000)
Keyphrases
</>
test generation
code coverage
test cases
test sequences
design automation
static analysis
symbolic execution
software testing
case study
model based diagnosis
information systems
test suite
quality assurance
defect detection