2007
DOI: 10.1147/rd.511.0207
|View full text |Cite
|
Sign up to set email alerts
|

Advanced firmware verification using a code simulator for the IBM System z9

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2007
2007
2007
2007

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 10 publications
(12 reference statements)
0
1
0
Order By: Relevance
“…Several enhancements to the z/CECSIM (Central Electronic Complex Simulator) [6] verification tool were introduced to support the CBR development. This simulator was used to verify the processor firmware that implemented the different CBR steps inside the server.…”
Section: Figure 12mentioning
confidence: 99%
“…Several enhancements to the z/CECSIM (Central Electronic Complex Simulator) [6] verification tool were introduced to support the CBR development. This simulator was used to verify the processor firmware that implemented the different CBR steps inside the server.…”
Section: Figure 12mentioning
confidence: 99%