Title: Hardware verification of VLSI regular structures