RECENT TRENDS IN VLSI DESIGN AND VERIFICATION