对设计电路的逻辑功能进行验证被称为（ ）。