18-341: logic design and verification

tools: systemverilog, vcs