Coverage-directed validation of hardware models

@inproceedings{Fallah1999CoveragedirectedVO,
  title={Coverage-directed validation of hardware models},
  author={Farzan Fallah},
  year={1999}
}