填空题 有限状态机可分为（）状态机和（）状态机两类。

填空题 现代电子系统设计领域中的EDA采用（）的设计方法。

填空题 描述测试信号的变化和测试工程的模块叫做（）。