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