TY  - RPRT
TI  - Leveraging SystemVerilog Coverage on Boolean Nodes.
AU  - Zhang, Lucia
PY  - 2018
UR  - https://www.osti.gov/biblio/1806716
ID  - 1806716
ER  -