Welcome to PROACTIVE (Proactive Research On Advanced Computer-aided TestIng, VErification, and power-management techniques). Research at PROACTIVE focuses on state-of-the-art CAD algorithms for automatic testing, verification, and power management of large, high-performance system-on-a-chip (SOCs) and VLSI circuits. PROACTIVE is part of ECE and CESCA. We are located on the third floor of the Durham Hall at Virginia Tech.