Entry Kantrowitz:1995:FVM from dectechj.bib
Last update: Thu Sep 27 02:13:54 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Kantrowitz:1995:FVM,
author = "Michael Kantrowitz and Lisa M. Noack",
title = "Functional Verification of a Multiple-issue,
Pipelined, Superscalar {Alpha} Processor --- the
{Alpha} 21164 {CPU} Chip",
journal = j-DEC-TECH-J,
volume = "7",
number = "1",
pages = "136--144",
month = "Winter",
year = "1995",
CODEN = "DTJOEL",
ISSN = "0898-901X",
bibdate = "Thu Mar 20 18:15:43 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/dectechj.bib",
URL = "ftp://ftp.digital.com/pub/Digital/info/DTJ/v7n1/Functional_Verification_of_a_M_01jul1995DTJH10P8.ps;
http://www.digital.com:80/info/DTJH10/DTJH10SC.TXT",
abstract = "Digital's Alpha 21164 processor is a complex
quad-issue, pipelined, superscalar implementation of
the Alpha architecture. Functional verification was
performed on the logic design and the PALcode
interface. The simulation-based verification effort
used implementation-directed, pseudorandom exercisers,
supplemented with implementation-specific,
hand-generated tests. Extensive coverage analysis was
performed to direct the verification effort. Only eight
logical bugs, all unobtrusive, were detected in the
first prototype design, and multiple operating systems
were booted with these chips in a prototype system. All
bugs were corrected before any 21164-based systems were
shipped to customers.",
acknowledgement = ack-nhfb,
classcodes = "B1265B (Logic circuits); B1265F (Microprocessors and
microcomputers); C5210 (Logic design methods); C5130
(Microprocessor chips); C6110F (Formal methods)",
classification = "B1265B (Logic circuits); B1265F (Microprocessors and
microcomputers); C5130 (Microprocessor chips); C5210
(Logic design methods); C6110F (Formal methods)",
keywords = "Alpha 21164 CPU chip; Alpha processor; design; formal
verification; logic; Logic design; logic design; logic
testing; microprocessor chips; PALcode interface;
Pseudorandom exercisers; pseudorandom exercisers;
Verification; verification",
thesaurus = "Formal verification; Logic design; Logic testing;
Microprocessor chips",
treatment = "P Practical",
}
Related entries
- all,
2(2)73,
2(3)16,
2(3)24,
2(3)74,
2(4)118,
3(3)7,
3(4)43,
4(1)15,
4(2)114,
4(3)38,
4(3)92,
4(4)19,
5(1)21,
5(1)117,
5(2)100,
5(2)z,
5(3)8,
5(3)43,
5(3)97,
6(3)8,
7(3)39,
8(1)32
- analysis,
1(3)25,
1(6)10,
1(6)110,
1(6)125,
1(8)81,
1(9)61,
1(9)78,
1(9)87,
2(1)16,
2(1)28,
2(1)38,
3(1)58,
3(3)1,
3(3)16,
3(3)64,
3(3)78,
3(4)61,
4(2)25,
4(2)83,
4(3)11,
4(3)47,
5(2)9,
5(2)84,
5(2)100,
5(2)z,
5(4)47,
6(1)54,
6(2)62,
6(3)57,
7(1)66,
7(1)100,
7(3)84,
7(4)101,
8(1)19,
8(3)23,
8(3)58,
10(1)32,
10(1)48
- any,
1(9)44,
1(9)51,
2(4)25,
3(2)53,
3(3)7,
3(3)16,
4(1)68,
5(1)117,
5(2)50,
5(3)21,
6(1)54,
7(1)119,
7(4)20,
7(4)101
- B1265B,
2(4)118,
4(3)38
- B1265F,
2(2)11,
2(2)27,
2(2)36,
2(2)52,
2(2)64,
2(2)73,
4(2)12,
4(2)39,
4(3)11,
4(3)24,
4(3)38,
4(3)82,
6(1)66,
6(4)5,
7(1)77,
7(1)100
- based, simulation-,
4(3)38
- booted,
1(9)44,
2(2)64,
4(3)38
- bugs,
2(2)64,
4(3)38
- C5130,
2(2)11,
2(2)27,
2(2)36,
2(2)52,
2(2)64,
2(2)73,
4(2)12,
4(2)39,
4(3)11,
4(3)24,
4(3)38,
4(4)19,
4(4)35,
6(1)66,
6(2)49,
6(4)5,
7(1)77,
7(1)89,
7(1)100,
7(1)119
- C5210,
4(3)38
- circuit,
2(2)11,
2(2)27,
2(2)36,
2(2)52,
2(2)64,
2(2)73,
2(4)43,
2(4)80,
2(4)102,
2(4)118,
3(4)9,
4(2)12,
4(2)25,
4(2)39,
4(2)51,
4(2)73,
4(2)83,
4(2)100,
4(2)114,
4(3)24,
4(3)38,
4(3)47,
4(4)35,
7(1)66,
7(1)100
- complex,
2(1)38,
2(2)64,
2(2)73,
3(1)58,
3(4)43,
3(4)61,
4(2)83,
4(3)38,
4(3)92,
4(4)153,
5(1)1,
5(1)34,
5(3)32,
5(3)97,
6(4)26,
7(1)66,
7(2)56
- coverage,
1(6)110,
3(1)79
- CPU,
1(2)37,
2(2)27,
2(2)36,
2(2)64,
2(4)25,
2(4)43,
4(1)24,
4(3)11,
4(3)24,
4(3)38,
4(3)47,
4(3)60,
4(3)73,
4(3)82,
4(4)35,
4(4)51,
4(4)66,
6(1)23,
7(1)89,
7(1)100,
7(4)76,
8(4)48
- customer,
2(4)130,
5(1)130,
5(4)18,
5(4)36,
5(4)47,
6(4)75,
8(1)59
- detected,
4(3)38
- direct,
2(2)64,
2(4)90,
3(2)42
- effort,
1(6)91,
2(2)73,
2(2)84,
2(3)52,
3(2)42,
4(2)51,
4(3)38,
4(4)137,
4(4)165,
5(2)41,
5(3)21,
5(4)36,
5(4)59,
5(4)69,
6(2)49,
7(1)89,
7(2)34,
7(3)39,
7(3)50
- eight,
6(3)20
- exercisers,
4(3)38
- extensive,
2(2)52,
2(4)90,
3(2)31,
4(3)47,
8(2)46
- first,
1(9)16,
1(9)78,
2(1)60,
2(1)73,
2(2)52,
2(2)64,
2(2)84,
2(4)61,
2(4)90,
2(4)102,
2(4)118,
3(1)79,
3(2)85,
3(3)48,
3(4)55,
4(3)38,
4(4)19,
4(4)51,
5(1)130,
5(3)80,
6(1)9,
6(1)54,
6(1)66,
6(2)8,
6(2)34,
7(3)39,
8(1)5
- formal,
5(3)43,
6(1)36
- functional,
2(2)64,
3(1)18,
3(2)31,
3(3)64,
5(1)21,
6(4)63,
8(2)15
- generated, hand-,
2(2)64
- hand-generated,
2(2)64
- implementation-specific,
4(3)38
- issue, quad-,
7(1)119
- logic,
2(4)61,
2(4)80,
2(4)90,
2(4)102,
2(4)118,
4(2)39,
4(3)38,
4(3)82,
7(1)66
- logical,
1(9)44,
2(1)8,
3(2)42,
4(3)38,
8(1)46
- method,
2(2)73,
3(3)1,
3(3)78,
3(4)43,
3(4)55,
4(2)25,
4(2)100,
4(3)24,
4(3)38,
5(1)62,
5(1)70,
5(2)9,
5(2)19,
5(2)28,
5(3)43,
5(3)97,
5(4)59,
6(2)62,
7(1)100,
7(2)5,
7(2)20,
7(2)47,
7(3)84
- microcomputer,
1(9)44,
2(2)11,
2(2)27,
2(2)36,
2(2)52,
2(2)64,
2(2)73,
2(2)84,
3(4)36,
4(2)12,
4(2)39,
4(3)11,
4(3)24,
4(3)38,
4(3)82,
6(1)54,
6(1)66,
6(4)5,
7(1)77,
7(1)89,
7(1)100,
7(3)5
- multiple,
1(6)28,
1(9)16,
1(9)37,
2(1)73,
3(1)33,
3(2)42,
3(3)7,
3(3)27,
3(4)26,
3(4)43,
4(1)15,
4(4)19,
5(1)62,
5(2)77,
6(3)8,
6(4)63,
6(4)75,
7(4)5,
7(4)34,
7(4)52,
7(4)101,
8(1)46,
8(1)59
- only,
2(4)130,
3(2)64,
4(1)47,
4(2)100,
4(3)38,
4(3)82,
4(4)19,
6(1)54,
6(2)22,
6(4)26,
8(2)72,
8(2)83
- performed,
3(1)45,
3(3)7,
4(1)24,
8(1)19
- pipelined,
1(1)24,
2(4)13,
4(4)35,
6(1)66
- processor,
1(1)54,
1(1)66,
1(7)79,
2(2)11,
2(2)27,
2(2)36,
2(4)13,
2(4)25,
2(4)43,
2(4)61,
2(4)90,
2(4)130,
3(3)36,
3(4)61,
4(1)47,
4(3)47,
4(4)19,
4(4)51,
4(4)121,
4(4)137,
5(3)97,
6(1)23,
6(1)66,
6(2)8,
6(3)8,
6(3)29,
6(3)57,
7(1)77,
7(3)24,
7(4)5,
7(4)52,
8(2)57,
8(4)21
- prototype,
1(9)51,
3(4)55,
4(3)38,
4(3)47,
4(4)51
- pseudorandom,
2(2)64,
7(1)89
- quad-issue,
7(1)119
- shipped,
7(1)77
- simulation-based,
4(3)38
- specific, implementation-,
4(3)38
- superscalar,
6(1)66,
7(1)119,
10(1)58
- supplemented,
4(3)38
- test,
1(6)10,
1(6)110,
1(9)51,
2(2)64,
2(2)73,
3(1)79,
3(2)31,
3(4)61,
4(1)24,
4(1)68,
4(2)73,
4(3)38,
5(1)84,
5(2)50,
7(1)89
- testing,
1(6)110,
1(6)117,
1(9)51,
1(9)61,
1(9)78,
1(9)87,
2(2)73,
2(4)130,
3(1)45,
3(1)79,
3(2)42,
3(3)27,
3(3)64,
3(3)78,
4(1)24,
4(3)38,
4(3)47,
4(3)60,
4(3)73,
4(3)82,
4(3)92,
4(4)51,
4(4)181,
5(1)70,
5(4)69,
6(1)36,
6(2)49,
6(2)62,
6(4)50,
7(1)23,
7(1)89,
7(2)34,
10(1)100
- unobtrusive,
4(3)38
- used,
1(2)48,
1(6)91,
1(9)16,
1(9)51,
2(1)16,
2(1)49,
2(2)52,
2(2)73,
2(2)89,
2(3)24,
2(3)44,
2(3)84,
2(4)13,
2(4)43,
2(4)102,
2(4)118,
3(1)33,
3(1)58,
3(1)79,
3(2)31,
3(3)1,
3(3)78,
4(1)68,
4(2)25,
4(2)39,
4(2)51,
4(2)73,
4(2)100,
4(2)114,
4(3)82,
4(4)137,
4(4)181,
4(4)193,
5(1)70,
5(2)100,
5(2)z,
5(3)21,
5(4)18,
5(4)36,
5(4)69,
6(2)49,
6(3)20,
6(3)44,
6(4)26,
7(1)89,
7(1)100,
7(2)5,
7(4)20,
7(4)101,
8(1)46,
8(2)32,
8(2)72,
8(2)83,
8(2)96
- verification,
2(2)64,
3(1)65,
3(1)79,
3(3)36,
4(3)24,
4(3)38,
4(3)82,
6(1)66,
7(1)89,
7(1)100
- was,
1(9)16,
1(9)44,
1(9)61,
2(1)16,
2(1)73,
2(2)27,
2(2)64,
2(2)73,
2(3)16,
2(3)24,
2(3)44,
2(3)64,
2(3)84,
2(4)43,
2(4)130,
3(1)45,
3(1)58,
3(1)79,
3(2)19,
3(3)36,
3(4)9,
3(4)55,
3(4)61,
4(1)31,
4(1)68,
4(2)25,
4(2)39,
4(2)51,
4(2)73,
4(2)114,
4(3)24,
4(3)38,
4(3)47,
4(3)73,
4(3)82,
4(4)111,
4(4)153,
4(4)181,
4(4)193,
5(1)1,
5(1)21,
5(1)34,
5(1)70,
5(1)99,
5(1)117,
5(1)130,
5(2)65,
5(2)77,
5(3)63,
6(2)49,
6(2)62,
6(3)8,
6(3)29,
7(1)43,
7(1)77,
7(1)100,
7(2)56,
7(3)24,
7(3)39,
7(3)50,
7(4)34,
7(4)89,
8(1)5,
8(1)32,
8(2)5,
8(2)46,
8(2)72,
8(2)117
- were,
1(6)91,
1(9)78,
1(9)87,
2(1)8,
2(2)27,
2(2)73,
2(4)13,
2(4)43,
2(4)90,
2(4)102,
2(4)118,
3(1)45,
3(2)19,
3(2)31,
3(3)1,
3(3)36,
3(3)78,
3(4)61,
4(1)15,
4(2)51,
4(2)73,
4(3)11,
4(3)24,
4(3)38,
4(3)47,
4(3)60,
4(3)73,
4(4)19,
4(4)51,
4(4)82,
4(4)100,
4(4)153,
4(4)165,
4(4)181,
4(4)193,
5(1)21,
5(1)70,
5(2)50,
5(4)36,
5(4)47,
6(1)23,
6(1)36,
6(1)54,
6(2)49,
6(3)20,
7(1)77,
7(1)100,
7(2)5,
8(2)72