Vikram Saxena, Farid N. Najm, Ibrahim N. Hajj. Estimation of state line statistics in sequential circuits. ACM Trans. Design Autom. Electr. Syst., 7(3):455-473, 2002. [doi]
@article{SaxenaNH02,
title = {Estimation of state line statistics in sequential circuits},
author = {Vikram Saxena and Farid N. Najm and Ibrahim N. Hajj},
year = {2002},
doi = {10.1145/567270.567275},
url = {http://doi.acm.org/10.1145/567270.567275},
researchr = {https://researchr.org/publication/SaxenaNH02},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {7},
number = {3},
pages = {455-473},
}