EDA指导书EDA（ElectronicDesignAutomation：电子设计自动化）技术是现代电子工程领域的一门新技术.它提供了基于计算机和信息技术的电路系统设计方法.EDA技术的发展和推广应用极大地推动了电子工业的发展.EDA教学和产业界的技术推广是当今世界的一个技术热点,EDA技术是现代电子工业中不可缺少的一项技术.近年来,在高校学生中也经常开展大规模的EDA竞赛,掌握EDA技术是通信电子类高校学生就业的一个基本条件。ALTERA公司是20世纪90年代以后发展很快的最大可编程逻辑器件供应商之一.它开发的MAX+PlusII是业界公认的最优秀的CPLD开发平台之一,在实际中被广泛地使用。EDA的关键技术之一就是要求用形式化方法来描述