Mixed-level fault coverage estimation

Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli. Mixed-level fault coverage estimation. In DAC. pages 553-559, 1986. [doi]

@inproceedings{MaS86,
  title = {Mixed-level fault coverage estimation},
  author = {Hi-Keung Tony Ma and Alberto L. Sangiovanni-Vincentelli},
  year = {1986},
  doi = {10.1145/318013.318102},
  url = {http://doi.acm.org/10.1145/318013.318102},
  tags = {coverage},
  researchr = {https://researchr.org/publication/MaS86},
  cites = {0},
  citedby = {0},
  pages = {553-559},
  booktitle = {DAC},
}