functional verification in VLSI 2025