- Palo Alto Networks (Santa Clara, CA)
- … formal methods, and silicon bring-up. + **Collaborate** with verification engineers to debug complex scenarios, close coverage, and add design-for-debug ... with DDR5 memory, Ethernet (IEEE 802.3), or search-algorithm accelerators. + Formal - verification ownership. + Hands-on silicon validation and lab bring-up.… more
- Actalent (Anaheim, CA)
- …for the Integration & Testing (I&T) of maritime programs. This role involves formal verification , formal validation, and system integration. Additional ... + Conduct integration and testing of maritime programs. + Perform formal verification and validation processes. + Support the creation of architectural drawings… more
- SpaceX (Sunnyvale, CA)
- …of design blocks using Verilog/SystemVerilog + Familiar with UPF (unified power format), formal verification , and DRC rule checking experience + Ability to work ... RTL and physical design Scan Design Rule Check (DRC) tools + Integration and verification of Design for Test (DFT) fabrics and IP within Subsystems + Running and… more
- Cadence Design Systems, Inc. (Austin, TX)
- …pre-silicon verification activities, including Lint, Clock Domain Crossing (CDC), Formal Verification (FV), and other quality checks. Collaboration: Work ... closely with cross-functional teams, including Design Verification (DV), Physical Design (PD), Architecture, and firmware engineers, to ensure successful delivery.… more
- GovCIO (Frankfort, KY)
- …description, system planning and design, and ensures requirements comply through formal verification methods. Translates high level product development ... network services, equipment and devices + Generates system level requirements verification procedures and customer acceptance test procedures + Monitors system… more
- Northrop Grumman (Melbourne, FL)
- …the product baseline under configuration control, managed and authorized for final formal verification activities by the technical community towards completion ... as a whole. The resulting product configuration baseline supports system verification and any other required system level testing. Early interface development… more
- Broadcom (Fort Collins, CO)
- …RTL design to synthesis, RTL/ netlist audits (using tools such as Spyglass), Formal verification , constraints development and analysis w/ emphasis on CDCs in ... Design: SerDes Digital IP Design Engineer:** Oversees definition, design, verification co-definition, and documentation for SerDes development. Performs architecture… more
- Actalent (Minneapolis, MN)
- …field required; BSEE or CS preferred. + 1-4 years of experience in firmware formal verification and validation product testing and requirements. + At least 1 ... Validation, test plan development, software testing, firmware, and hardware. + Design verification and full system testing. + Ability to read and interpret… more
- NVIDIA (Santa Clara, CA)
- …verification methodologies, such as UVM + Proficiency with static timing and formal verification tools + Excellent communication and leadership skills, with ... such as filters and analog calibration circuits + Ensure verification of digital designs using direct and random testing...Establish and maintain standard methodologies for mixed-signal design and verification What we need to see: + MS or… more
- Northrop Grumman (San Diego, CA)
- …integration testing with embedded processors and avionics systems + Participate in formal verification and validation activities + Synthesis, Place & Route, ... you will develop requirements, define HW/SW interfaces and determine verification approaches. You will establish integrated product development workflows, processes… more