学术探索
学术期刊
新闻热点
数据分析
智能评审

FORMAL METHODS OF MICROCODE VERIFICATION AND SYNTHESIS

被引：2
作者：
MUELLER, RA
DUDA, MR
机构：
来源：
IEEE SOFTWARE | 1986年 / 3卷 / 04期
关键词：
D O I：
10.1109/MS.1986.233753
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：38 / 48
页数：11
相关论文
共 12 条
[1]   PROVING CORRECTNESS OF MICROPROGRAMS [J].
BIRMAN, A .
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1974, 18 (03) :250-266
[2]  
Boyer R. S., 1981, CORRECTNESS PROBLEM
[3]  
CARTER WC, 1977, IBM RC7053 RES REP
[4]  
CATTELL RGG, 1978, THESIS CARNEGIEMELLO
[5]  
DAMM W, 1984, 94 RHEIN WESTF TH TE
[6]   THE USE OF HOARE LOGIC IN THE VERIFICATION OF HORIZONTAL MICROPROGRAMS [J].
DASGUPTA, S ;
WAGNER, A .
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1984, 13 (06) :461-490
[7]  
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[8]   AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1969, 12 (10) :576-&
[9]  
Marwedel P., 1984, Seventeenth Annual Microprogramming Workshop, MICRO 17 (Cat. No. 84CH2088-3), P267
[10]   KNOWLEDGE-BASED CODE SELECTION METHODS IN RETARGETABLE MICROCODE SYNTHESIS [J].
MUELLER, RA ;
VARGHESE, J .
IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (04) :44-55
12