Title: Formal Aspects of Vlsi Design