An interactive editor for VLSI layouts
