多项选择题

A.功能仿真
B.功能完整性检查
C.实现电路的搭接
D.问题的逻辑描述