A DEVELOPMENT ENVIRONMENT FOR HORIZONTAL MICROCODE

被引：28

作者：

AIKEN, A

NICOLAU, A

机构：

来源：

关键词：

D O I：

10.1109/32.6136

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：584 / 594

页数：11

共 23 条

[11]

HOOD RT, 1984, COMP TR841 RIC U TEC

[12]

KARPLUS K, 1985, 18THP ANN WORKSH MIC, P11

[13]

KUCK DJ, 1976, ADV COMPUT, V15, P119

[14]

KUCK DJ, 1981, 8TH P ACM S PRINC PR, P207

[15] FORMAL METHODS OF MICROCODE VERIFICATION AND SYNTHESIS [J].

MUELLER, RA ;

DUDA, MR .

[16]

NICOLAU A, 1984, IEEE T COMPUT, V33, P968, DOI 10.1109/TC.1984.1676371

[17]

NICOLAU A, 1985, 85709 CORN U TECH RE

[18]

NICOLAU A, 1984, THESIS YALE U NEW HA

[19]

NICOLAU A, 1984, 85678 CORN U TECH RE

[20]

PATT YN, 1985, 18TH P ANN WORKSH MI, P103