数字系统设计自动化造句

• 研究方向：数字系统设计自动化，嵌入式系统，形式验证。
• 出版著作有《数字系统计算机辅助设计》、《数字系统设计自动化》。
• ，薛宏熙，苏明，吴为民，数字系统设计自动化（计算机科学与技术学科研究生系列教材），清华大学出版社，2005年7月。
• 出版著作有《数字系统计算机辅助设计》、《数字系统设计自动化》、《超大规模集成电路计算机辅助设计技术》等。
• 感兴趣的研究领域包括：电力电子集成技术、嵌入式系统与SoC设计、高速数字信号处理及其VLSI实现、数字系统设计自动化等。
• 研究方向为数字系统设计自动化，包括模拟、逻辑综合、高层次综合、形式验证、软硬件协同设计、系统芯片设计工具研究等。
• 计算所为我国国防建设事业的发展做出了历史性的贡献，伴随着整机研制任务的完成，科研工作水平显著提高，在计算机体系结构、数值计算方法、硬件技术、软件技术、数字系统设计自动化、外围设备、计算机科学基础理论等学科领域方面都有了很大的发展，取得了多项重大科研成果。
• 为了帮助非计算机专业的学生快速熟悉计算机领域，提供了《计算机原理》》、《计算机组成与结构》、《计算机技术基础及应用》、《MPI并行程序设计》、《并行计算》、《编译原理》、《汇编语言程序设计》、《工程数据库设计与应用》、《微型计算机技术》、《宽带网络交换技术》、《数字系统设计自动化》、《信号处理原理》、《虚拟现实与系统仿真》、《C语言学习大全》、《数据库系统》《面向对象的程序设计(Java语言版)》和《数据结构》等名校名师主讲的视频多媒体课件。

• 数字系统设计自动化的英语：design automation of digital system