thesis

Automatic verification of pipelined microprocessors

Authors
Publication date
1 January 1994
Publisher
Massachusetts Institute of Technology

Abstract

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

    Similar works

    Full text

    thumbnail-image

    Available Versions

    DSpace@MIT

    redirect
    oaioai:dspace.mit.edu:1721.1/3404...
    Last time updated on 11/06/2012