11.4 数字电路的仿真