Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation
Name | Value |
---|---|
Author | ezgopste |
Creation Date | Sun Apr 24 11:52:35 2011 |
Creator | Microsoft® Office PowerPoint® 2007 |
Encrypted | no |
File size | 2128079 bytes |
MIME type | application/pdf |
Modify Date | Sun Apr 24 11:52:35 2011 |
Optimized | no |
Page size | 720 x 540 pts |
Pages | 59 |
PDF version | 1.5 |
Producer | Microsoft® Office PowerPoint® 2007 |
Size | 2.03 MB |
Tagged | yes |
Title | <Presentation Title> |