Lava: Hardware Design in Haskell (1998)

Cached

Download Links

by Per Bjesse , Koen Claessen , Mary Sheeran
Citations:116 - 7 self

Active Bibliography

Statically-allocated languages for hardware stream processing (Extended Abstract) – Simon Frankau, Alan Mycroft, Simon Moore - 2002
2 Puzzling Permutations – Mary Sheeran - 1996
23 Embedded Languages for Describing and Verifying Hardware – Koen Claessen - 2001
25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
1 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen Koen, Mary Sheeran - 2000
21 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen, Mary Sheeran - 2000
3 Correctness and Verification of Hardware Systems Using Maude – N. A. Harman - 2000
16 Verifying a Simple Pipelined Microprocessor Using Maude – N.A. Harman - 2000
2 An Embedded Language Approach to Teaching Hardware Compilation – Koen Claessen
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
43 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
35 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
Specifications of the ATM Switch Fabric in Coq – Line Jakubiec - 1997
6 New HDL research challenges posed by dynamically reprogrammable hardware – Jonathan Hogg, Satnam Singh, Mary Sheeran - 1996
4 Reasoning About Array Structures Using a Dependently Typed Logic – Alan Dent, Keith Hanna - 1993
A Generic Transmitter for Wireless OFDM Systems – Fredrik Kristensen, Peter Nilsson, Anders Olsson
15 Mechanically Verifying Real-Valued Algorithms in ACL2 – Ruben Antonio Gamboa - 1999