3 of 3 Tcl Jobs in the Thames Valley

requirements for verification environments & metrics SystemVerilog UVM testbenches Formal proof verification Understanding of C test cases and C code Scripting languages (e.g. Python, Perl, TCL) Desirable skills Experience with formal verification tools (JasperGold, VC Formal) Familiarity with C/C++ development Prior SSD experience with storage interfaces such ...

platforms, with the ability to debug at hardware level using tools such as ILA and VIO. Familiarity with SoCs (e.g. MicroBlaze, Zynq) and scripting (TCL/TK or similar) is a plus. Just as importantly, youll be a clear communicator, comfortable working cross-functionally, and able to take ownership ...

SystemVerilog (incl. SVA) and UVM or equivalent methodologies Strong debugging skills across RTL and testbench environments Nice to Have Formal verification experience Scripting skills (Tcl, Perl, Python, etc.) Power-aware verification (CPF/UPF) Understanding of OOP and design patterns Additional Information Hybrid working model (typically 2+ days onsite) Candidates ...