Embedded Languages for Describing and Verifying Hardware (2001)

Cached

Download Links

by Koen Claessen
Citations:23 - 2 self

Documents Related by Co-Citation

43 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
21 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen, Mary Sheeran - 2000
21 Hardware design and functional programming: a perfect match – M Sheeran - 2005
17 Generating Netlists from Executable Circuit Specifications in a Pure Functional Language – John T. O'donnell - 1992
10 Hardware Description with Recursion Equations – John T. O'donnell - 1987
25 Specifying superscalar microprocessors in Hawk – Byron Cook, John Launchbury, John Matthews - 1998
26 Designing Arithmetic Circuits by Refinement in Ruby – Geraint Jones, Mary Sheeran - 1992
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
113 Lava: Hardware Design in Haskell – Per Bjesse, Koen Claessen, Mary Sheeran - 1998
101 Synchronous Observers and the Verification of Reactive Systems – Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond - 1993
2 F.: PAKCS 1.5: The – M Hanus, S Antoy, J Koj, R Sadre, Steiner - 2003
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
32 A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages – Elvira Albert, Michael Hanus - 2002
19 A Transformation System for Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1999
40 Distributed Programming in a Multi-Paradigm Declarative Language – Michael Hanus - 1702
32 OS Support for General-Purpose Routers – Larry Peterson, Scott C. Karlin, Kai Li - 1999
4 Algebraic Specification and Verification of Processor Microarchitectures – J Matthews - 2000
25 A Comparative Study of Extensible Routers – Y Gottlieb, L Peterson - 2002