Normal view
MARC view
Piper, Lisa (Personal Name)
Machine generated authority record.
Work cat.: (OSt)1862: Cohen, Ben 6821, SystemVerilog assertions handbook: ... for dynamic and formal verification, 2016