- Google (Sunnyvale, CA)
- …and route, power/clock distribution, congestion analysis, timing closure, CDC analysis and formal verification on blocks, subsystems or fullchip. + Work with ... (QoR). + Experience in sign-off closure techniques, including SSTA, physical verification , EMIR, and low-power implementation (UPF/CPF). + Experience in integrating… 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
- 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). + Drive tools and methodologies to achieve desired PPA… more
- Renesas (Duluth, GA)
- …timing analysis and creation of place and route constraints + Proficiency in formal verification , linting, and CDC/RDC checking + Knowledge of asynchronous clock ... and high-speed design concepts + Participate in design, architecture, and verification reviews + Oversee digital backend design, including synthesis, static timing… more
- 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
- 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