DocumentCode :
1058693
Title :
Verification of a Second-Generation 32-Bit Microprocessor
Author :
Jacobs, Howard
Author_Institution :
AT&T Information Systems
Volume :
19
Issue :
4
fYear :
1986
fDate :
4/1/1986 12:00:00 AM
Firstpage :
64
Lastpage :
70
Keywords :
Analytical models; Chip scale packaging; Context modeling; Jacobian matrices; Large scale integration; Microprocessors; Process design; Protocols; Silicon; Very large scale integration;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.1986.1663206
Filename :
1663206
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1058693
