Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
Ifip Wg, J�rgen Staunstrup, Robin Sharp · Medical Entomology and Zoology · 1992
Using Transformations and Verification in Circuit Design (J.B. Saxe, S.J. Garland, J.V. Guttag, J.J. Horning). Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits (J.C. Ebergen, A.M.G. Peeters). Newtonian Arbiters Cannot be Proven Correct (M. Mendler, T. Stroup). Incomplete TRS-Specifications of Boolean Functions and their Verification (S. Krischer). Using the Language Lustre for Sequential Circuit Verification (G. Thuau, B. Berkane). Invited Talk: Three Notions of Proof (P. Naur). Transe: An Experimental Transformation Assistant for Digital Circuit Design (G. Durrieu, K. Kessaci, M. Lemaitre). Circuit Analysis by Non-Standard Interpretation (S. Singh). Reasoning about Permutations in Regular Arrays (B. Lisper, S. Rajopadhye). Sequence Semantics of Ruby (L. Rossen, R. Sharp). A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU (D. Verkest, L. Claesen, H. De Man). Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives (J. Bormann, H. Nusser-Wehlan, G. Venzl). Using Synchronized Transitions for Simulation and Timing Verification (M.R. Greenstreet). Provably Correct Synthesis of Asynchronous Circuits (S.F. Smith, A.E. Zwarico). High-level Design of an Asynchronous Packet-routing Chip (M.B. Josephs, R.H. Mak, J.T. Udding, T. Verhoeff, J.T. Yantchev). Analysis and Identification of Self-timed Circuits (M. Kishinevsky, A. Kondratyev, A. Taubin, V. Varshavsky).