TY  - RPRT
TI  - HDL to verification logic translator
AU  - Gambles, J. W.
AU  - Windley, P. J.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19940017244
ID  - 19940017244
ER  -