多项选择题

A.状态编码监测法
B.借助EDA工具生成安全状态机
C.硬件方式生成安全状态机
D.状态导引法