Inproceedings,

Results on the Interface between Formal Verification and ATPG.

, , , , , and .
CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)

Meta data

Tags

Users

  • @dblp

Comments and Reviews