TY  - RPRT
TI  - System behavior specification using IEEE Std 1175.4.
AU  - Knirk, Dwayne Lee
PY  - 2010
UR  - https://www.osti.gov/biblio/989378
ID  - 989378
ER  -