|
24
|
Specifying superscalar microprocessors in Hawk
– Byron Cook, John Launchbury, John Matthews
- 1998
|
|
32
|
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
|
|
35
|
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
|
|
96
|
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
|
|
11
|
An Algebraic Framework for Modelling and Verifying Microprocessors using HOL
– Anthony Fox
- 2001
|
|
11
|
Overview of Hydra: A concurrent language for synchronous digital circuit design
– John T. O’donnell
- 2002
|
|
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
|
|
8
|
A Transformational Approach to Formal Digital System Design
– Mats Larsson, Mats Larsson
- 1993
|
|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
13
|
Realtime Signal Processing -- Dataflow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
21
|
Fold and Unfold for Program Semantics
– Graham Hutton
- 1998
|
