Codasip

Engineer

• Verify RISC-V processors and extensions
• Develop verification solutions, including test benches, test bench components, stimulus generation, and formal environments
• Collaborate with engineers responsible for verification activities for components or subsystems from start to finish
• Define verification strategies for blocks and subsystems and select appropriate tools
• Review technical specifications and provide verification-focused feedback
• Run simulations, identify bugs, and perform root cause analysis of complex issues
• Define, estimate, prioritize, and track assigned work
• Track and report verification metrics
• Create automated verification flows
• Verify complex state-of-the-art CPUs, including advanced out-of-order processors
• Take ownership of portions of the design and apply multiple verification methodologies

Verification Engineer

• Customize and optimize LLVM for Codasip’s standard and customized embedded CPU cores
• Enhance the compiler for custom hardware extensions and new processor architectures developed using the Studio EDA tool
• Support Embedded Software engineers with compiler expertise to optimize software
• Support processor design teams with compiler expertise to guide microarchitectural design and optimization
• Explore compiler technology for novel compute architectures and technologies
• Work with the Codasip Studio EDA tool compiler team to improve the tool’s compiler
• Deliver short-term customer-driven projects and longer-term strategic Codasip software products
• Act as a software technical expert and provide advice to internal and external customers
• Share knowledge and experience within the team and mentor junior team members
• Develop LLVM compiler capabilities, skills, and processes within the wider Embedded Software team

Verification Engineer

LLVM Compiler Engineer