Prototyping the DLX microprocessor
نویسندگان
چکیده
We describe our prototyping of a functioning DLX microprocessor, based on the 32-bit instruction set architecture developed by Patterson and Hennessy. This architecture is an emerging academic standard, but to our knowledge has yet to be successfully prototyped. Our implementation of DLX is a 12" x 15" 2layer circuit board, containing 59 chips and running on a 2 MHz clock. Our machine was developed at the Thayer Rapid Prototyping Facility, a laboratory for the rapid construction and evaluation of digital systems.
منابع مشابه
Collection of High-Level Microprocessor Bugs from Formal Verification of Pipelined and Superscalar Designs
The paper presents a collection of 93 different bugs, detected in formal verification of 65 student designs that include: 1) singleissue pipelined DLX processors; 2) extensions with exceptions and branch prediction; and 3) dual-issue superscalar implementations. The processors were described in a high-level HDL, and were formally verified with an automatic tool flow. The bugs are analyzed and c...
متن کاملInstantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP
In the VAMP (verified architecture microprocessor) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried ...
متن کاملAutomatic Verication of Pipelined Microprocessor Control
We describe a technique for verifying the control logic of pipelined microprocessors. It handles more complicated designs, and requires less human intervention, than existing methods. The technique automatically compares a pipelined implementation to an architectural description. The CPU time needed for veri cation is independent of the data path width, the register le size, and the number of A...
متن کاملAutomatic functional test program generation for pipelined processors using model checking
Fonnal techniques ofler an opportunity to significantly reduce the cost of microprocessor verification. We propose a model checking based approach to automatically generate functional test programs for pipelined processors. We specify the processor architecture in an Architecture Description Language (ADL). The processor model is extracted from the ADL specification. Specific properties are app...
متن کاملQuantitative measurements of FPGA utility in special and general purpose processors
We present experimental results on FPGA use in special and general purpose processors, using as case studies a computational accelerator for gene sequence analysis, an integer implementation of the DLX microprocessor, and a real-time signal processor for rocket telemetry. All these devices have been successfully prototyped, and are now completely functional. We present detailed analysis of our ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992