@misc{indiciae5d3e018d0251,
  title = {Large Truth Table Generation with Verilator.},
  author = {Chen, Yu-Cheng},
  year = {2017},
  url = {https://www.osti.gov/biblio/1507929},
  note = {Source identifier: 1507929}
}