Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms