Zaslat SMS: Disciplines in combinational and sequential circuit design