- Northrop Grumman (Los Angeles, CA)
- …etc. + Generation of complex test benches in Modelsim or Questasim to support formal Verification . + Familiarity with the VxWorks RTOS, its architecture and ... Technology, Engineering or Mathematics) discipline with 12 years of digital verification engineering experience using industry standard simulation tools; 10 years… more
- Northrop Grumman (Huntsville, AL)
- …execution, reporting, and integration support. * Prepare detailed test reports and support formal verification of the system. * Compile data and define changes ... * Interface with software developers and systems engineers in support of verification . * Product integration, regression, and verification testing including… more
- Broadcom (Broomfield, CO)
- …development, constraints validation, timing analysis and closure. + Experience with formal verification , timing analysis and Eco implementation. + Experience ... placement, clock tree synthesis, route, timing analysis, timing closure, physical verification (LVS/DRC). Should be able to drive tools and methodologies to… more
- Google (Mountain View, CA)
- …Level (RTL) coding, function/performance simulation debug and Lint/Clock Domain Crossing (CDC)/ Formal Verification (FV)/Unified Power Format (UPF) checks. + ... Perform RTL verification using industry standard methodologies; participate in test planning and coverage analysis. + Develop RTL implementations that meet engaged… more
- Acclaim Technical Services (Reston, VA)
- …ensure requirements comply with client requirements and government standards through formal verification methods. They translate high level product development ... to the current system and traceability of requirements through compliance verification and validation. Generates system level requirements verification … more
- Amazon (Austin, TX)
- …Electrical or Communications Engineering or a related field - Experience with formal verification techniques including abstraction and end-to-end checking - ... edge FPGA accelerator products - Implement and improve simulation (design verification ) testing across the product lifecycle - Strong skills presenting technical… more
- The Boeing Company (Berkeley, MO)
- …include hardware requirements decomposition, qualification test, laboratory and aircraft integration, formal verification test, and production support. The T-7A ... the technical performance of critical suppliers to ensure integration and verification of installed system performance. The T-7A Mission Systems includes new… more
- Transdev (Atwater, CA)
- …Experience with system engineering principles such as defining requirements and formal verification and validation methods + Test scripting ... Decompose system requirements and consequently design test plans and verification strategies that give Waymo the necessary evidence to...service + Improve the quality and coverage of the verification of a system + Build new processes that… more
- Micron Technology, Inc. (Minneapolis, MN)
- …PLL, DLL, CDR). + Experience with industry-standard tools for synthesis, linting, formal verification , etc. + Demonstrated curiosity and eagerness to learn ... ASICs and memory controller IP. + Collaborate with teams across Design Verification , Analog Design, Synthesis, and Lab Validation. + Assist in integrating digital… more
- Collins Aerospace (Marlborough, MA)
- …System Engineering experience a plus), assessing security vulnerabilities, and formal cybersecurity verification (including vulnerability scanning). The ... Validation * Support cybersecurity requirement decomposition, allocation, implementation, and verification utilizing system engineering practices * Analyze system requirements,… more