Zaslat SMS: Algorithms for VLSI physical design automation /