An interactive editor for VLSI layouts