Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli
Mixed-level fault coverage estimation
DAC, 1986.
@inproceedings{DAC-1986-MaS, author = "Hi-Keung Tony Ma and Alberto L. Sangiovanni-Vincentelli", booktitle = "{Proceedings of the 23rd Design Automation Conference}", doi = "10.1145/318013.318102", pages = "553--559", publisher = "{IEEE Computer Society Press}", title = "{Mixed-level fault coverage estimation}", year = 1986, }