
Search by job, company or skills
Showing 1 job
Skills:
clock-domain crossing (CDC) analysis, Static Timing Analysis (STA), formal verification, RTL synthesis, LINT, Verilog RTL design, Timing Analysis, formal equivalence checking, timing constraint validation, Unix/Linux environments
