Login / Signup
Sequential test generation and synthesis for testability at the register-transfer and logic levels.
Abhijit Ghosh
Srinivas Devadas
A. Richard Newton
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)
Keyphrases
</>
test generation
test data generation
test cases
software testing
symbolic execution
test sequences
logic synthesis
quality assurance
mutation testing
design automation
static analysis
modal logic
relational databases
data sets
machine vision
model checking
functional programs