Synthesis of Processor Instruction Sets from High-Level ISA Specifications
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
复制标题
从高级 ISA 规范综合处理器指令集
DOI：
10.1109/tc.2013.37
复制
发表时间：
2014
影响因子：
3.7
通讯作者：
Mokhov A
中科院分区：
文献类型：
--
作者：
Mokhov A
登录
查看更多内容
IA-64 除法算法的形式验证
DOI：
10.1007/3-540-44659-1_15
发表时间：
2000
期刊：
Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36.
影响因子：
--
作者：
J. Harrison
通讯作者：
J. Harrison
用于可重构片上系统设计的区域高效指令集综合
DOI：
10.1145/996566.996679
发表时间：
2004
期刊：
Proceedings. 41st Design Automation Conference, 2004.
影响因子：
--
作者：
P. Brisk;A. Kaplan;M. Sarrafzadeh
通讯作者：
M. Sarrafzadeh
通过抽象管理复杂性：一种基于细化的指令集架构形式化方法
影响因子：
1.8
作者：
F. Yuan;Stephen Wright;K. Eder;D. May
通讯作者：
D. May
MMIX软件
影响因子：
1.3
作者：
D. Knuth
通讯作者：
D. Knuth
通过并发管理实现电力弹性系统
DOI：
10.1049/iet-cdt.2010.0091
发表时间：
2012
期刊：
IET Comput. Digit. Tech.
影响因子：
--
作者：
Fei Xia;A. Mokhov;Yu Zhou;Yifan Chen;I. Mitrani;D. Shang;D. Sokolov;A. Yakovlev
通讯作者：
A. Yakovlev