Condor Computing Corporation

• Work on verification of Condor’s world-class processor designs • Craft novel, creative, and best-in-class solutions for verifying complex design micro-architectures with the best technologies available • Develop a comprehensive formal verification test plan • Develop functional properties for the design, find design bugs, and work closely with design teams to help improve the micro-architecture • Develop re-usable and optimized verification models and a verification code base • Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity

• Architect and implement testbenches utilizing UVM-based methodologies • Design and develop Verification Components using UVM-based techniques • Conduct block-level verification to ensure optimal block performance and compliance with requirements • Generate and execute verification plans based on specifications • Define, implement, and analyze coverage metrics • Architect and implement Formal Verification processes • Create automation tools to streamline testing • Perform testing for design performance evaluation