Formal Methods in System Design, Volume 4

Volume 4, Number 1, January 1994

Diederik Verkest, Luc J. M. Claesen, Hugo De Man: A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Speed-Independent Circuits on an Event Model. 33-75

Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97
Siegfried Fischer, Andreas Scholz: Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 99-122
Thomas F. La Porta, Mischa Schwartz: Verification of the MultiStream Potocol (MSP) Using COSPAN. 123-153
W. M. H. M. Rovers: Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. 155-166
Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. 167-185
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. 187-203

Andrew M. Bailey, George A. McCaskill, George J. Milne: An Exercise in the Automatic Verification of Asynchronous Designs. 213-242
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini: Assisting Requirement Formalization by Means of Natural Language Translation. 243-263
Victoria Stavridou: Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310