Design Methodologies for VLSI Circuits (Nato Science Series E:)