VLSI logic synthesis tool