数字设计流程中的仿真包括功能仿真和________。