Metropolis: An integrated electronic system design environment