Designing Correct Circuits

Keyphrases

Publications

1992

Michael Mendler, Terry Stroup
Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits (1992)
Guy Durrieu, Kamel Kessaci, Michel Lemaître
Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits (1992)
Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev
High-Level Design of an Asynchronous Packet-Routing Chip. Designing Correct Circuits (1992)
Satnam Singh
Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits (1992)
Scott F. Smith, Amy E. Zwarico
Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits (1992)
Ghislaine Thuau, Bachir Berkane
Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits (1992)
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky
Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits (1992)
Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits (1992)
Mark R. Greenstreet
Using Synchronized Transitions for Simulation and Timing Verification. Designing Correct Circuits (1992)
Stefan Krischer
Incomplete TRS-Specifications of Boolean Functions and their Verification. Designing Correct Circuits (1992)
Björn Lisper, Sanjay V. Rajopadhye
Reasoning about Permutations in Regular Arrays. Designing Correct Circuits (1992)
Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 Designing Correct Circuits (1992)
Diederik Verkest, Luc J. M. Claesen, Hugo De Man
A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU. Designing Correct Circuits (1992)
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
Using Transformations and Verification in Ciruit Design. Designing Correct Circuits (1992)
Lars Rossen, Robin Sharp
Sequence Semantics of Ruby. Designing Correct Circuits (1992)
Jo C. Ebergen, Ad M. G. Peeters
Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits. Designing Correct Circuits (1992)
Peter Naur
Invited talk: Three Notions of Proof. Designing Correct Circuits (1992)