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
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
21 Hardware design and functional programming: a perfect match – M Sheeran - 2005
21 A Tutorial on Lava: A Hardware Description and Verification System – Koen Claessen, Mary Sheeran - 2000
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
17 Generating Netlists from Executable Circuit Specifications in a Pure Functional Language – John T. O'donnell - 1992
2 The SMV model checker – K McMillan - 2002
10 An executable temporal logic to express safety properties and its connection with the language Lustre – Nicolas Halbwachs, Jean-Claude Fernandez, Ahmed Bouajjani - 1993
18 Recognizing Regular Expressions by means of Dataflow Networks – Pascal Raymond - 1996
23 A practical approach to coverage in model checking – Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi - 2001
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
25 µFP, A Language for VLSI Design – M Sheeran - 1984
3 The Quantum IO Monad – Thorsten Altenkirch, Alexander S. Green
6 Quantum algorithm for linear systems of equations. Phys – Aram W. Harrow, Avinatan Hassidim, Seth Lloyd - 2009
25 Quantum programming languages: Survey and bibliography. Bulletin of the EATCS 86 (June 2005) 176–196 Selinger, P.: Towards a quantum programming language – S Gay - 2004