application specific integrated circuits

architecture

assembly language

assertion based verification

c

c (programming language

C (Programming Language)

C++

Cadence Virtuoso

cdc

clock tree synthesis

code coverage

Computer Vision

constrained optimization

data structures

ddr3

Design

dft

digital ic design

emulation

english

field programmable gate arrays

formal verification

fpga prototyping

functional verification

Logic and Reasoning

logic synthesis

low power design

matlab

mosfet

physical design

programming

python

Python

rtl design

rtl verification

silicon validation

soc

static timing analysis

synopsys primetime

system on a chip

system verification

SystemVerilog

teaching

unified verification methodology

unix

upf

veloce

verification and validation

verilog

very large scale integration

vhdl

Vision

x86 assembly