Embedded Languages for Describing and Verifying Hardware (2001)

Cached

Download Links

by Koen Claessen
Citations:23 - 2 self

Active Bibliography

16 An Embedded Language Framework for Hardware Compilation – Koen Claessen, Gordon Pace - 2002
10 Hardware Description with Recursion Equations – John T. O'donnell - 1987
21 Relations and Refinement in Circuit Design – Geraint Jones, Mary Sheeran - 1991
1 Safety Property Verification of Cyclic Circuits – Koen Claessen - 2002
3 Functional Programming with Relations – Graham Hutton - 1990
Interpretational Overhead in system software – Boris Feigin - 2011
1 Crystal: a simple programming language for Custom Computing Machines – C. van Reeuwijk, Informatics - 2004
Digital Design Derivation – unknown authors
17 Computer-Based Tools For Regular Array Design – Wayne Luk, Geraint Jones, Mary Sheeran - 1989
21 DDD-FM9001: Derivation of a Verified Microprocessor – Bhaskar Bose - 1994
Constructive Polychronous Systems – Jean-pierre Talpin, Jens Brandt, Mike Gem√ľnde, Klaus Schneider, Sandeep Shukla
9 Causality Analysis of Synchronous Programs with Delayed Actions – Klaus Schneider, Jens Brandt, Tobias Schuele - 2004
92 The synchronous languages twelve years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - 2003
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
27 Imperative self-adjusting computation – Umut A. Acar, Amal Ahmed, Matthias Blume - 2008
58 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
14 Efficient Latch Optimization Using Exclusive Sets – Ellen M. Sentovich, Horia Toma, Gerard Berry - 1997