Microprocessor Specification in Hawk (1998)

Cached

Download Links

by John Matthews , Byron Cook , John Launchbury
Venue:In Proceedings of the 1998 International Conference on Computer Languages
Citations:31 - 2 self

Active Bibliography

25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
A Hardware Combinator For Tree-Shaped Circuits – Annette Bunker - 1998
9 A Practical Methodology for the Formal Verification of RISC Processors – Sofiène Tahar, Ramayya Kumar - 1995
Project Goal and Overview – Our Goal In, Warren A. Hunt
36 Trace Table Based Approach for Pipelined Microprocessor Verification – Jun Sawada, Warren A. Hunt, Jr. - 1997
8 A Correctness Proof for Pipelining in RISC Architectures – E. Börger, S. Mazzanti - 1996
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
9 Disposable Memo Functions – Byron Cook, John Launchbury - 1997
1 Combining stream-based and statebased verification techniques for microarchitectures – Nancy A. Day, Mark D. Aagaard, Byron Cook - 2000
12 An Algebraic Framework for Modelling and Verifying Microprocessors using HOL – Anthony Fox - 2001
3 Formal Specification and Analysis of Digital Hardware Circuits in LOTOS – Ji He, Ji He - 2000
10 Transformational System Design Based on a Formal Computational Model and Skeletons – Wenbiao Wu, Ingo Sander, Ingo S, Axel Jantsch - 2000
1 Functional Netlists – Sungwoo Park , et al. - 2008
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design – unknown authors
12 Overview of Hydra: A concurrent language for synchronous digital circuit design – John T. O’donnell - 2002
10 A Transformational Approach to Formal Digital System Design – Mats Larsson, Mats Larsson - 1993
6 A general purpose reasoner for abstraction – Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh - 1993
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995