Metropolis: an integrated environment for electronic system design