Automatic derivation of timing constraints by failure analyis

Update item information
Publication Type Journal Article
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Myers, Chris J.
Other Author Yoneda, Tomohiro; Kitai, Tomoya
Title Automatic derivation of timing constraints by failure analyis
Date 2002
Description Abstract. This work proposes a technique to automatically obtain timing constraints for a given timed circuit to operate correctly. A designated set of delay parameters of a circuit are first set to sufficiently large bounds, and verification runs followed by failure analysis are repeated. Each verification run performs timed state space enumeration under the given delay bounds, and produces a failure trace if it exists. The failure trace is analyzed, and sufficient timing constraints to prevent the failure is obtained. Then, the delay bounds are tightened according to the timing constraints by using an ILP (Integer Linear Programming) solver. This process terminates when either some delay bounds under which no failure is detected are found or no new delay bounds to prevent the failures can be obtained. The experimental results using a naive implementation show that the proposed method can efficiently handle asynchronous benchmark circuits and nontrivial GasP circuits.
Type Text
Publisher Institute of Electrical and Electronics Engineers (IEEE)
First Page 195
Last Page 208
Language eng
Bibliographic Citation Yoneda, T., Kitai, T., & Myers, C. (2002). Automatic derivation of timing constraints by failure analyis. Computer Aided Verification (CAV 02), 195-208. July.
Rights Management (c) 2002 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Format Medium application/pdf
Format Extent 204,445 bytes
Identifier ir-main,15021
ARK ark:/87278/s60k2spm
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2021-05-06
ID 702695
Reference URL https://collections.lib.utah.edu/ark:/87278/s60k2spm
Back to Search Results