C, coverage closure, low power design verification techniques, coverage planning, Data-Consistency verification, power management verification, testbench development, clocking reset power-up sequences, x86 ISA, systemverilog

C, coverage closure, low power design verification techniques, coverage planning, Data-Consistency verification, power management verification, testbench development, x86 ISA, clocking reset power-up sequences, systemverilog