Model checking and/or theorem proving Experience with formal verification techniques (abstractions, constraints, coverage, equivalence checking, etc.) Knowledge of HDL languages (Verilog, SystemVerilog, VHDL) and property languages (SVA, PSL,...) Knowledge of versioning tools (Git -preferred) Practical usage of Linux Proficiency in scripting languages, e.g. Python Communicative English NICE more »
Include: -Bachelor’s degree or higher in Electrical Engineering, Computer Engineering, or a related field. -1 year proficiency in FPGA design using Verilog or VHDL, with hands-on experience using FPGA development tools (e.g., Xilinx Vivado, Intel Quartus). -Firmware design experience. -Familiarity with image processing techniques and tools (e.g. more »
understanding of modern design techniques Excellent understanding of verification challenges and the ability to support verification teams to achieve closure Experience in Verilog, SystemVerilog, VHDL The company is currently relatively small, around 20+ people but you will get the opportunity to support the lead and bring this product to market more »
understanding of modern design techniques Excellent understanding of verification challenges and the ability to support verification teams to achieve closure Experience in Verilog, SystemVerilog, VHDL The company is currently relatively small, around 20+ people but you will get the opportunity to support the lead and bring this product to market more »
in Electronic Engineering/Computer Science or related field A strong background within digital ASIC/FPGA design, with hands-on experience coding in VHDL/Verilog Previous project experience related to CPU design/computer architecture A deep interest in computer architecture and artificial intelligence An understanding of CPU more »