Vlsi logic synthesis and design by