数字电路验证方法-浙江大学信息与电子工程学院