分析：制定规范 􀁺 设计：状态图，真值表，编写代码。 􀁺 验证：证明电路的正确性。仿真和形式化验 证。 􀁺 综合：高层次到低层次转换。生成网表 􀁺 测试：发现废品。生成测试向量-Analysis: norm 􀁺 design: state diagram, truth table, write the code. 􀁺 Authentication: proof of the c