@misc{indiciae79e24eb4365b,
  title = {Technical report: Functional Constraint Extraction From Register Transfer Level for ATPG},
  author = {Christelle Hobeika and Claude Thibeault and Jean-François Boland},
  year = {2013},
  url = {https://arxiv.org/abs/1310.0100},
  note = {Source identifier: 1310.0100}
}