Subhankar Mukherjee, Pallab Dasgupta. Computing Minimal Debugging Windows in Failure Traces of AMS Assertions. IEEE Trans. on CAD of Integrated Circuits and Systems, 31(11):1776-1781, 2012. [doi]
@article{MukherjeeD12a, title = {Computing Minimal Debugging Windows in Failure Traces of AMS Assertions}, author = {Subhankar Mukherjee and Pallab Dasgupta}, year = {2012}, doi = {10.1109/TCAD.2012.2203599}, url = {http://dx.doi.org/10.1109/TCAD.2012.2203599}, researchr = {https://researchr.org/publication/MukherjeeD12a}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {31}, number = {11}, pages = {1776-1781}, }