New Trends in RTL Verification: Bug Localization, Scan-Chain-Based Methodology, GA-Based Test Generation