- NVIDIA (Santa Clara, CA)
- …+ Operating Systems (Threads, Process Control, Memory/Resource Management, Virtual Memory), Formal Verification Tools (Spark, Frama-C), Linux Kernel Development ... and developing tools and infrastructure to improve our front-end design and verification process + Course or internship experience related to the following areas… more
- Insight Global (Austin, TX)
- …Simulation & V&V: Proficiency with robotics simulation platforms and an understanding of formal Verification & Validation (V&V) methodologies. * Safety & AI: ... attention to detail and a refusal to trust abstractions without verification . * Robotics & Hardware Integration: Demonstrable experience working with complex… more
- Broadcom (Irvine, CA)
- …+ Collaborate with physical design team on constraint generation, timing closure analysis, formal verification , low power checks using UPF/CPF flows and ECO ... and resolve Lint and Clock/Reset Domain crossing issues in the design + Collaborate with verification team on test plan development, debugging, and coverage closure… more
- Meta (Sunnyvale, CA)
- …Peripheral Subsystems or Video Codec designs 12. Synthesis, Timing Closure or Formal Verification Methodology 13. TCL, Python, Perl, or Shell-scripting 14. ... Responsible for Lint, CDC, Synthesis, & Power Optimization. 4. Collaborate with verification and emulation teams in test planning, development, and debugging. 5.… more
- Meta (Sunnyvale, CA)
- …NOC, Memory and Peripheral Subsystems 9. Experience with Synthesis, Timing Closure and Formal Verification Methodology 10. Master's or PhD degree in Electrical ... 3. Soft and hard IP identification, selection and integration. Collaboration with verification and emulation teams in test plan development and debug 4.… more
- Northrop Grumman (Linthicum Heights, MD)
- …interfaces. + Participate in design reviews, Test Readiness Reviews (TRRs) and formal verification activities. + Support payload level integration with higher ... at program technical reviews or other technical meetings + Develop I&T Verification and Validation matrices of processing subsystem, board designs and FPGA logic… more
- Imperative Care (Campbell, CA)
- …test methods and associated fixturing/automation to support both explorative, characterization, and formal verification testing of the Company's products. + Your ... comparing performance of devices for concept selection, design optimization, and design verification in close collaboration with the preclinical and design groups. +… more
- Meta (Sunnyvale, CA)
- …estimation at RTL & gate level and identify power reduction opportunities. 4. Run formal verification checks between RTL & gate level netlist and debug aborts, ... for Clock Tree Synthesis and Routing optimization 19. 4 Static timing analysis and verification at different PVT corner 20. 5. Timing ECO using PrimeTime 21. 6.… more
- Microsoft Corporation (Hillsboro, OR)
- … test cases, test benches, or automation. + Assists in writing tests for formal pre-silicon verification of subsystems within a single block; includes the use ... operating parameters and performance requirements to define complete pre-silicon verification test cases. Develops test plans and directs support personnel,… more
- BOOZ, ALLEN & HAMILTON, INC. (Lexington Park, MD)
- …concept sketches and perform te chn ical planning, circuit-level design, implementation, verification , formal Acceptance, and Production tests + Ability to ... Mid Key Role: Support major microelectronics programs in the areas of design, verification , fabrication, packaging, te chn ology node access, integrity, t rus t, and… more