Automatic verification of pipelined microprocessors
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/34045 |
| _version_ | 1826211931786051584 |
|---|---|
| author | Bhagwati, Vishal Lalit |
| author2 | Srinivas Devadas. |
| author_facet | Srinivas Devadas. Bhagwati, Vishal Lalit |
| author_sort | Bhagwati, Vishal Lalit |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. |
| first_indexed | 2024-09-23T15:13:23Z |
| format | Thesis |
| id | mit-1721.1/34045 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T15:13:23Z |
| publishDate | 2006 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/340452019-04-12T12:05:33Z Automatic verification of pipelined microprocessors Bhagwati, Vishal Lalit Srinivas Devadas. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. Includes bibliographical references (p. 71-72). by Vishal Lalit Bhagwati. M.S. 2006-09-28T14:54:58Z 2006-09-28T14:54:58Z 1994 1994 Thesis http://hdl.handle.net/1721.1/34045 30804771 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 72 p. 2890188 bytes 3072325 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Bhagwati, Vishal Lalit Automatic verification of pipelined microprocessors |
| title | Automatic verification of pipelined microprocessors |
| title_full | Automatic verification of pipelined microprocessors |
| title_fullStr | Automatic verification of pipelined microprocessors |
| title_full_unstemmed | Automatic verification of pipelined microprocessors |
| title_short | Automatic verification of pipelined microprocessors |
| title_sort | automatic verification of pipelined microprocessors |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/34045 |
| work_keys_str_mv | AT bhagwativishallalit automaticverificationofpipelinedmicroprocessors |