功能仿真是在不考虑器件（）的理想情况下对设计项目的逻辑功能进行验证的方法。