Lava: Hardware Design in Haskell (1998)

View PDF

Download Links

by Per Bjesse , Koen Claessen , Mary Sheeran
Citations:133 - 10 self

Active Bibliography

An Embedded Language for the Definition and Refinement of Synchronous Circuits – Christine Vella, Dr. Adrian Francalanza - 2006
136 E - A Brainiac Theorem Prover – Stephan Schulz - 2002
Statically-allocated languages for hardware stream processing (Extended Abstract) – Simon Frankau, Alan Mycroft, Simon Moore - 2002
45 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
34 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
38 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
26 Embedded Languages for Describing and Verifying Hardware – Koen Claessen - 2001
27 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
65 A tutorial on St̴lmarck's proof procedure for propositional logic РMary Sheeran, Gunnar St̴lmarck - 1998