Zaslat SMS: Formal VLSI specification and synthesis :