分享到:

数字系统形式设计的理论与方法研究

过去几十年来,微电子技术的高速发展和人们对信息技术的强大需求使得现代集成电路系统的规模和复杂程度日趋提高。这必将导致对集成电路系统级的设计、制造提出更高的要求。从目前集成电路的制造技术看,深亚微米制造技术的突破使得在单一硅片上实现信号采集、转换、存储、处理和输入/输出功能的片上系统(Systems-on-Chip,SoC)成为可能。相形之下,系统级的设计就越来越成为重要的因素。提高数字系统的设计层次、减少高层设计对象是当前集成电路设计的一个方向。但是,现有的集成电路设计方法学和设计支撑工具并不支持抽象的高层次的设计。另一方面,确保系统设计的正确性也是系统级设计的极大的挑战。在主要依靠设计师自身积累的经验的情况下,现有的设计验证技术也无法有效保证系统设计的正确性。1994年Intel公司的Pentium芯片中的浮点除法运算错误是在其大量进入商用后才被一位用户发现的,虽然这种错误发生的概率为几亿分之一。但这个设计错误还是为Intel  (本文共102页) 本文目录 | 阅读全文>>

《教师博览》1996年09期
教师博览

阿拉伯数字系统源于中国

阿拉伯数字系统l、2、3、兮:…对我们何等重要,是我们生活中不可或缺的一部分。但这数字系统源自何地?一般相信它的发源地是印度,我的研究却显示它其实源自中国。 那么西方人为何把它称为﹁阿拉伯数字系统﹂?原来,我们所知道论述用数字加减乘除最早的一部著作,是在9世纪出自阿拉伯人穆罕默德之手。其拉丁文译本在1200年传入欧洲。穆罕默德把数字系统及其算术归功于印度人。 考证中,学者找不到证据证明数字系统与梵文著作有关。他们同意阿拉泊系统的九个符号起源于印度婆罗门数堂一系统的头九个数字,可是两者的概念完全不同。 实际上,阿拉伯数字系统与中国算筹概念相近,在所有古代的数字系统中,中国算筹的概念独一无二。 阿拉伯数字系统运用以十为基本单位的地位制符号,在这个系统中,我们只需记得前面九个数字,无论多大的数目,都足以用这九个号码代表。我们把八万三千零七十二写成83072,以。来填补百的位置。其实在早期的阿拉伯数字系统中,是写成83 72。 战国时代...  (本文共1页) 阅读全文>>

《计算机辅助设计与图形学学报》2004年04期
计算机辅助设计与图形学学报

《数字系统自动设计实用教程》问世

由厦门大学计算机与信息工程学院刘明业教授主编 ,陈辉煌教授主审的《数字系统自动设计实用教程》 ,2 0 0 4年 5月将由高等教育出版社出版 (1)本书系“十五”普通高等学校国家级教材规划选题 ,其内容为应用计算机自动设计数字系统 (计算机 /ASIC)的有关理论和算法 涉及电子设计自动化 (EDA)领域中的硬件描述语言 (VHDL/Verilog)、模拟技术、自动综合理论、操作调度与资源分配、工艺映射 ,以及逻辑图自动生成等问题 书中以作者研发的专用集成电路高层次自动设计系统Talent为依拓 ,参考国内外同类工作发展状况 ,结合国内当前教学的实际需要 ...  (本文共1页) 阅读全文>>

《计算机辅助设计与图形学学报》2004年05期
计算机辅助设计与图形学学报

《数字系统自动设计实用教程》问世

由厦门大学计算机与信息工程学院刘明业教授主编,陈辉煌教授主审的《数字系统自动设计实用教程》,2 0 0 4年5月将由高等教育出版社出版(1 )本书系“十五”普通高等学校国家级教材规划选题,其内容为应用计算机自动设计数字系统(计算机/ASIC)的有关理论和算法涉及电子设计自动化(EDA)领域中的硬件描述语言(VHDL/Verilog)、模拟技术、自动综合理论、操作调度与资源分配、工艺映射,以及逻辑图自动生成等问题书中以作者研发的专用集成电路高层次自动设计系统Talent为依拓,参考国内外同类工作发展状况,结合国内当前教学的实际需要...  (本文共1页) 阅读全文>>

《计算机辅助设计与图形学学报》2004年08期
计算机辅助设计与图形学学报

《数字系统自动设计实用教程》问世

由厦门大学计算机与信息工程学院刘明业教授主编 ,陈辉煌教授主审的《数字系统自动设计实用教程》 ,2 0 0 4年 5月由高等教育出版社出版 (1)本书系“十五”普通高等学校国家级教材规划选题 ,其内容为应用计算机自动设计数字系统 (计算机 /ASIC)的有关理论和算法 涉及电子设计自动化 (EDA)领域中的硬件描述语言 (VHDL/Verilog)、模拟技术、自动综合理论、操作调度与资源分配、工艺映射 ,以及逻辑图自动生成等问题 书中以作者研发的专用集成电路高层次自动设计系统Talent为依拓 ,参考国内外同类工作发展状况 ,结合国内当前教学的实际需要 ,...  (本文共1页) 阅读全文>>

《工程设计CAD与智能建筑》2000年05期
工程设计CAD与智能建筑

阐释e-Home数字系统

由全国市长培训中心、中国新闻社共同主办的“21世纪数字城市论坛”于5月12日至15日在北京亚运村国际会议中心举行。来自全国100个城市的市长与100家IT精英企业的代表就“城市的可持续发展与信息技术”进行对话,共商中国城市数字化进程方略...  (本文共1页) 阅读全文>>