Sumit Ghosh. A Distributed Approach to Timing Verification of Synchronous and Asynchronous Digital Designs. IEEE Trans. on CAD of Integrated Circuits and Systems, 6(4):666-677, 1987. [doi]
@article{Ghosh87,
title = {A Distributed Approach to Timing Verification of Synchronous and Asynchronous Digital Designs},
author = {Sumit Ghosh},
year = {1987},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=28442&arnumber=1270312&count=17&index=15},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Ghosh87},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {6},
number = {4},
pages = {666-677},
}