Digital Systems Verification Projects