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