@misc{indiciae8dc5c908ca35,
  title = {FPGA Verification.},
  author = {Lopresti, Vincent C.},
  year = {2012},
  url = {https://www.osti.gov/biblio/1650330},
  note = {Source identifier: 1650330}
}