Capture The Bug 2022 - A Design Verification Hackathon Bug Reports 1. Multiplexer 2. Sequence Detector 3. Bitmanipulation Coprocessor 4. Automatic Washing Machine