Topics in Computer and VLSI(Formal HW verification)