keras library Search Results

Top Skills

• 5+ years' experience with multiple COTS EDA formal verification & model checking tools, including Siemens/OneSpin, Cadence JasperGold. Proficient with Synopsys VC Formal.
• 3+ years' experience with different COTS EDA simulators, including Synopsys VCS, Verdi and Siemens QuestaSim.
• 1+ year of experience leveraging COTS EDA synthesis tools for both ASIC & FPGA workflows, including Synopsys Design & Library Compiler and Xilinx Vivado.
• 4+ years' experience with Verilog, SystemVerilog, and System Verilog Assertions (SVA). Proficient with PSL.
• 5+ years' experience developing software in C, C++, Java and Python leveraging object orientated programming techniques in Agile Lifecycle framework.