Functional Test Generation of Digital LSI/VLSI Systems Using Machine Symbolic Execution Technique

Cite this paper

@inproceedings{Lin1984FunctionalTG, title={Functional Test Generation of Digital LSI/VLSI Systems Using Machine Symbolic Execution Technique}, author={Tonysheng Lin and Stephen Y. H. Su}, booktitle={ITC}, year={1984} }