Design and execute advanced formal verification methodologies to validate intricate hardware designs in Verilog
MMU Design Verification: Memory management design used in image processing for self-driven vehicles
-Verification : Developed diverse verification strategies and constructed comprehensive testbenches to validate the chip design thoroughly. Uncovered and rectified 16 critical bugs, significantly enhancing the chip’s overall functionality and performance during the testing phase.
-Design : Collaborated with design team by proposing an alternative implementation for decreasing thrashing and increased page HITS, assisting in successful update of design, decreasing overall chip power consumption by 0.23%
-Scripting : Implemented automation for the verification process, scheduling it to run weekly in various modes for comprehensive testing. Integrated distinct workflows of a singular design using environment variables, enhancing efficiency and adaptability. This approach streamlined the verification pipeline, ensuring regular and thorough testing