Formal Verification

JOB DUTIES: Participate in the functional verification of a block(s) of complex ASICs and/or IP cores for a combined CPU/GPU development effort. Be part of a team of design and verification engineers, working closely with other team members to understand and verify the functionality of a given design element within the context of the block, chip and overall system. Be responsible for carefully documenting and executing test plan(s) consisting of directed and constrained-random tests to be run during simulation. Be expected to adopt the evolving verification methodologies used in the industry to functionally verify increasingly more complex SoC designs within aggressive, market-driven schedules, and work within the existing verification infrastructure on currently active projects. Be familiar with hardware modeling and/or assertion-based verification methods. EXPERIENCE AND EDUCATION: 5-7 years of proven verification experience on large ASIC development projects or software/firmware experience in a hardware development setting Strong background in C/C++ development in a Linux Environment Strong debug skills and experience with debug tools such as Gdb, Valgrind Proficient in Object Oriented programming, STL, computer architecture and data structures Knowledge of Perl and Makefiles Experience in Verilog/SystemVerilog/SystemC, preferred;Experience in C/Verilog environment using DPI/PLI, preferred Strong analytical skills and attention to detail Excellent written and communication skillsbfb3568a-762b-4989-884b-a9682aa104ca