DMCA

Formal Specification in VHDL for Hardware Verification

by Ralf Reetz , Klaus Schneider , Thomas Kropf