@misc{indiciaec603b14d3b82,
  title = {Exploring formal verification methodology for FPGA-based digital systems},
  author = {Hu, Yalin},
  year = {2012},
  doi = {10.2172/1055616},
  url = {https://www.osti.gov/biblio/1055616},
  note = {Source identifier: 1055616}
}