Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick. A correctness criterion for asynchronous circuit validation and optimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 13(11):1309-1318, 1994. [doi]
@article{GopalakrishnanBMN94, title = {A correctness criterion for asynchronous circuit validation and optimization}, author = {Ganesh Gopalakrishnan and Erik Brunvand and Nick Michell and Steven M. Nowick}, year = {1994}, doi = {10.1109/43.329261}, url = {http://doi.ieeecomputersociety.org/10.1109/43.329261}, tags = {optimization}, researchr = {https://researchr.org/publication/GopalakrishnanBMN94}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {13}, number = {11}, pages = {1309-1318}, }