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

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