Specialties: Clock domain crossing verification Assertion based verification RTL logic synthesis Testbench Automation HDLs - V2K, VHDL, System Verilog