功能仿真是在选择了具体器件并完成布局、布线之后进行的快速时序检验。