default search action
Designing Correct Circuits 1992: Lyngby, Denmark
- Jørgen Staunstrup, Robin Sharp:
Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. IFIP Transactions A-5, North-Holland 1992, ISBN 0-444-89335-0 - James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning:
Using Transformations and Verification in Ciruit Design. Designing Correct Circuits 1992: 1-25 - Jo C. Ebergen, Ad M. G. Peeters:
Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits. Designing Correct Circuits 1992: 27-46 - Michael Mendler, Terry Stroup:
Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits 1992: 47-66 - Stefan Krischer:
Incomplete TRS-Specifications of Boolean Functions and their Verification. Designing Correct Circuits 1992: 67-79 - Ghislaine Thuau, Bachir Berkane:
Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96 - Peter Naur:
Invited talk: Three Notions of Proof. Designing Correct Circuits 1992: 97-101 - Guy Durrieu, Kamel Kessaci, Michel Lemaître:
Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits 1992: 103-118 - Satnam Singh:
Circuit Analysis by Non-Standard Interpretation. Designing Correct Circuits 1992: 119-138 - Björn Lisper, Sanjay V. Rajopadhye:
Reasoning about Permutations in Regular Arrays. Designing Correct Circuits 1992: 139-157 - Lars Rossen, Robin Sharp:
Sequence Semantics of Ruby. Designing Correct Circuits 1992: 159-171 - 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: 173-192 - Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl:
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits 1992: 193-213 - Mark R. Greenstreet:
Using Synchronized Transitions for Simulation and Timing Verification. Designing Correct Circuits 1992: 215-236 - Scott F. Smith, Amy E. Zwarico:
Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits 1992: 237-260 - 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: 261-274 - Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky:
Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits 1992: 275-287
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: