国家科技成果网
热门搜索:  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

国家科技成果网 首页 成果 查看内容

函数式程序语言在超大规模集成电路设计中的应用

2001年 应用技术
  • 成果简介
上海交通大学孙永强教授将函数式程序语言应用于VLSI设计中的研究。该语言的优点是:融行为描述和布局描述于一体,比传统语言简捷清晰;由于它没有副作用,故具有清晰的定义,其内在隐含的时序关系、并发性和汉水性以及对应的体系结构能方便地提出来;可用来作优化和转换,并保证设计、综合过程的正确性。该项研究还对原有的函数语言进行了扩充和改进,使之具有更强的描述能力适合于VLSI设计不同阶段的需要,并已成功地将这...
相关成果

标签云

相关机构

Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位:科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统