@inproceedings{2aa441d707c7494b8fd19104c24440b3,
title = "Verification of asynchronous interface circuits with bounded wire delays",
abstract = "We address the problem of verifying that the gate-level implementation of an asynchronous circuit, with given or extracted bounds on wire and gate delays, is equivalent to a specification of the asynchronous circuit behavior described as a classical flow table, under the fundamental mode of operation. We give a procedure to extract the complete set of possible flow tables from a gate-level description of an asynchronous circuit under the bounded wire delay model. Given an extracted flow table and the initial flow table specification, we give procedures to construct a product flow table so as to check for machine equivalence.",
author = "Srinivas Devadas and Kurt Keutzer and Sharad Malik and Albert Wang",
year = "1992",
month = dec,
day = "1",
language = "English (US)",
isbn = "0818630108",
series = "IEEE/ACM International Conference on Computer-Aided Design",
publisher = "Publ by IEEE",
pages = "188--195",
booktitle = "IEEE/ACM International Conference on Computer-Aided Design",
note = "IEEE/ACM International Conference on Computer-Aided Design - ICCAD '92 ; Conference date: 08-11-1992 Through 12-11-1992",
}