
Search by job, company or skills
Showing 4 jobs
Skills:
Usb, C, Makefile, Windows, Linux, Pcie, Perl, Verilog, Ethernet, Ruby, System Verilog, Systemc, IP level ASIC verification, Graphics pipeline knowledge, UVM testbenches, AXI ACE Protocols, simulation profile efficiency improvement, UVM based verification frameworks, TLM, debugging firmware and RTL code using simulation tools
Skills:
Usb, C, Makefile, Windows, Shell, Linux, Pcie, Perl, Verilog, Ethernet, Ruby, System Verilog, Systemc, IP level ASIC verification, HLS tools, Graphics pipeline knowledge, UVM testbenches, automating workflows in a distributed compute environment, AXI ACE Protocols, simulation profile efficiency improvement, UVM based verification frameworks, TLM, debugging firmware and RTL code using simulation tools
Skills:
Verilog, System Verilog, SVA, Synopsys VCS, assertion and coverage-driven verification, Uvm, formal property checking tools, Cadence IES
Skills:
Jasper, Pcie, Verilog, System Verilog, Synopsys VC-Formal Magellan, formal property checking tools, Uvm, Cadence IEV, Synopsys VCS, HBM, Cadence IES, SVA
