QML framework, HTML5, experience with algorithmic problems (OpenCL, CUDA), Machine learning and AI, OpenGL, OpenGL Shaders, VTK, OSG, Vulkan, JIRA, TestRail, TFS, Git, Jenkins, csh/bash, batch files, cmake, PowerShell. About the Company Award winning and market leading engineering company which develops a set of software tools used by more »
AMBA ACE-Lite or AXI) Solid understanding of SystemVerilog Assertions (SVA) and formal verification Experience of a scripting language such as Perl, Tcl, Cshell, Pytho Knowledge of a number hardware verification languages e.g. SystemVerilog You have already worked on Functional Safety product development for the Automotive market more »
AMBA ACE-Lite or AXI) Solid understanding of SystemVerilog Assertions (SVA) and formal verification Experience of a scripting language such as Perl, Tcl, Cshell, Pytho Knowledge of a number hardware verification languages e.g. SystemVerilog You have already worked on Functional Safety product development for the Automotive market more »
AMBA ACE-Lite or AXI) Solid understanding of SystemVerilog Assertions (SVA) and formal verification Experience of a scripting language such as Perl, Tcl, Cshell, Pytho Knowledge of a number hardware verification languages e.g. SystemVerilog You have already worked on Functional Safety product development for the Automotive market more »
OVM, e, VMM Debugging skills - RTL - Testbench, OOP - Gate level (including SDF) Formal verification and verification qualification techniques Scripting experience with Ruby, sh/csh, TCL, Make, Perl - advantage This is a hybrid on-site position and will follow a 2+ day in-office work schedule, with in-office days more »