with architects and designers to understand the design intents. Creating and executing formal verification plans for design blocks... or FPGA. Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC...
with architects and designers to understand the design intents. Creating and executing formal verification plans for design blocks... or FPGA. Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC...
Architecture C/C++, GNU Toolchain, Visual Studio Formal verification - FPV and DPV experience is a plus Experience... for verification of Graphics IP , and performing pre- and post-silicon verification to verify correctness and ensure performance...