Login / Signup
Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration.
Hyunwoo Cho
Gary D. Hachtel
Fabio Somenzi
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1993)
Keyphrases
</>
test generation
test cases
regression testing
design automation
symbolic execution