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 条

[1]

AIKEN A, 1987, 87821 CORN U TECH RE

[2]

ALLEN JR, 1982, MASC TR826 RIC U TEC

[3] COMPUTER-ASSISTED MICROANALYSIS OF PROGRAMS [J].

COHEN, J .

[4]

DAMM W, 1985, 18TH P WORKSH MICR, P3

[5] AXIOMATIC SPECIFICATIONS IN FIRMWARE DEVELOPMENT SYSTEMS [J].

DASGUPTA, S ;

WILSEY, PA ;

HEINANEN, J .

[6] OVERVIEW OF FIRMWARE ENGINEERING [J].

DAVIDSON, S ;

SHRIVER, BD .

[7]

FISHER JA, 1981, IEEE T COMPUT, V30, P478, DOI 10.1109/TC.1981.1675827

[8]

FISHER JA, 1984, 1984 P SIGPLAN S COM, P37

[9]

GAJSKI DD, 1982, COMPUTER, V15, P58, DOI 10.1109/MC.1982.1653942

[10] COMPILER ANALYSIS OF VALUE RANGES FOR VARIABLES [J].

HARRISON, WH .