分析：制定规范

􀁺 设计：状态图，真值表，编写代码。

􀁺 验证：证明电路的正确性。仿真和形式化验

证。

􀁺 综合：高层次到低层次转换。生成网表

􀁺 测试：发现废品。生成测试向量-Analysis: norm 􀁺　design: state diagram, truth table, write the code. 􀁺　Authentication: proof of the correctness of the circuit. Simulation and formal verification. 􀁺　General: High level to low-level conversion. Netlisting 􀁺　test: find waste. Generate test vectors