基于布尔过程论的层次化延时分析方法
- ISSN号:1000-1239
- 期刊名称:计算机研究与发展.
- 时间:0
- 作者或编辑:3448
- 第一作者所属机构:哈尔滨工程大学
- 页码:1269-1275(EI收录)
- 语言:中文
- 相关项目:Boole过程论中高速ASIC设计自动化新方法研究
同期刊论文项目
同项目期刊论文
期刊信息
- 主管单位:中国科学院
- 主办单位:中国科学院计算技术研究所
- 主编:徐志伟
- 地址:北京市科学院南路6号中科院计算所
- 邮编:100190
- 邮箱:crad@ict.ac.cn
- 电话:010-62620696 62600350
- 国际标准刊号:ISSN:1000-1239
- 国内统一刊号:ISSN:11-1777/TP
- 邮发代号:2-654
- 获奖情况:
- 2001-2007百种中国杰出学术期刊,2008中国精品科...,中国期刊方阵“双效”期刊
- 国内外数据库收录:
- 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)