Каким способом цифровые системы проектируются с анализом поведения