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 |
ID |
702695 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s60k2spm |