Sequential circuit synthesise modeling on "Digital"