@misc{indiciae8d16edc1813d,
  title = {HDL to verification logic translator},
  author = {Gambles, J. W. and Windley, P. J.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19940017244},
  note = {Source identifier: 19940017244}
}