Scripting, Cpu, Gpu, Abstraction Techniques, Temporal Logic Assertions, formal verification, Verification Tools

Verilog, System Verilog, HDLs, temporal logic assertions, abstraction techniques