Consistency and satisfiability of waveform timing specifications
作者:
J. A. Brzozowski,
T. Gahlinger,
F. Mavaddat,
期刊:
Networks
(WILEY Available online 1991)
卷期:
Volume 21,
issue 1
页码: 91-107
ISSN:0028-3045
年代: 1991
DOI:10.1002/net.3230210107
出版商: Wiley Subscription Services, Inc., A Wiley Company
数据来源: WILEY
摘要:
AbstractManufacturers often use digital waveforms to specify critical device timing. In this paper, we study two problems related to the use of such specifications. First, we are interested in verifying that the timing information is consistent to begin with. Second, given waveform specifications of two devices that are to be linked, we wish to know whether one satisfies the other's timing requirements. We construct a model of the timing information conveyed by the waveform convention and show how both problems can be solved efficiently with optimization techniques. To illustrate our arguments, we compare the write‐cycle timing of a typical CPU with that of a RAM devic
点击下载:
PDF
(773KB)
返 回