数字电子技术中,已知时序逻辑电路的工作波形,如何设计相关电路?

我一般是这么做：
1.根据波形列出输入输出相关变量的真值表
2.根据真值表,写出输入输出的逻辑表达式
3.化简逻辑表达式,简单的可以直接根据规则化简,复杂的可借助卡诺图化简
4.开始设计电路,根据已有器件的真值表对照需要达成的逻辑功能进行设计.这里我说的比较简略,主要是没法详细说,因不同的电路,不同的逻辑功能会有很大的不同,不能一概而论哈~
5.检验已设计的电路,有条件的可以借助电脑仿真,比如使用QuatusII 等软件组合逻辑电路是这样的，但是时序的也可以吗？