Microprocessor specification in Hawk | IEEE Conference Publication | IEEE Xplore

Microprocessor specification in Hawk


Abstract:

Modern microprocessors require an immense investment of time and effort to create and verify, from the high level architectural design downwards. We are exploring ways to...Show More

Abstract:

Modern microprocessors require an immense investment of time and effort to create and verify, from the high level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain specific language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languages, such as static typing, parametric polymorphism, first class functions, and lazy evaluation provide a good formalism for such a domain specific language, and have made initial progress by creating a library on top of the functional language Haskell. We have specified the integer subset of an out of order, superscalar DLX microprocessor, with register renaming, a reorder buffer, a global reservation station, multiple execution units, and speculative branch execution. Two key abstractions of this library are the signal abstract data type (ADT), which models the simulation history of a wire, and the transaction ADT, which models the state of an entire instruction as it travels through the microprocessor.
Date of Conference: 16-16 May 1998
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-8454-2
Print ISSN: 1074-8970
Conference Location: Chicago, IL, USA

References

References is not available for this document.