RISC-V Formal Verification Engineer

2 days ago

Apply Now

Receive Emails with Similar Jobs

The Linux Foundation

WebsiteLinkedInAll Job Openings

Open Source • Software • Linux

201 - 500

Description

• Develop Sail Formal Model code for extensions and upstream to the RISC-V Sail repository • Develop assembly language tests to demonstrate proper Sail implementation of the extension and/or feature as compared to the text of the specification. • Enhance Sail infrastructure (e.g. simulator generator functionality) to support the RISC-V Formal Model • Work with the RISC-V Sail ecosystem including: the RISC-V Sail maintainer, Cambridge Sail staff, RISC-V Architectural Tests efforts, RISC-V Task Groups, and RISC-V Development Partners to develop the RISC-V Sail Formal Model. • Work with the RISC-V Sail repository maintainer to provide priorities and oversight of RISC-V Sail development throughout the ecosystem • Maintain the RISC-V Sail Formal Model community including mailing lists, informational meetings, and developer training • Communicate status to the RISC-V Task Group Chairs and inform the greater RISC-V community of updates as appropriate

Requirements

• 5+ years software or hardware development experience • BS/BA in Electrical or Computer Engineering or equivalent years of experience • Understanding of computer architecture, privilege levels, virtual memory, formal verification, and design verification • Experience with strongly typed programming languages, such as Rust, Haskell, OCaml, F#, Scala. • Experience developing open source code • History of successful completion and maintenance of software projects • Experience as a hardware or software products developer with knowledge of assembly language, HDL code, and RTL abstractions • Experience with a scripting language (preferably Python) is required. • Experience with SW development tools and processes (assemblers, compilers, revision control systems). • Experience with git and github is required. • Experience with measuring coverage (functional and code) of a software application. • The ability to respond and adapt to a highly interrupt driven environment while maintaining focus on long term objectives • Effectively manages time, sets goals, and effectively communicates status in a remote team environment • High level of written and verbal skills, must be concise, articulate and understandable • High level of attention to detail, content, and form