VLSI frontend verification topics