Computing Minimal Debugging Windows in Failure Traces of AMS Assertions

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},
}