Consistency and satisfiability of waveform timing specifications-Reference-Cited by-同舟云学术

Consistency and satisfiability of waveform timing specifications

Published:1991-01 Issue:1 Volume:21 Page:91-107
ISSN:0028-3045
Container-title:Networks
language:en
Short-container-title:Networks

Author:

Brzozowski J. A.,Gahlinger T.,Mavaddat F.

Publisher

Wiley

Subject

Computer Networks and Communications,Hardware and Architecture,Information Systems,Software

Reference12 articles.

1. A new interface specification methodology and its application to transducer synthesis. Ph.D. Thesis, Computer Science Division, EECS, University of California, Berkeley (May, 1988).

2. Timing verification and the timing analysis program. 19th Design Automation Conference, IEEE (1982) 594–604.

3. Motorola, Inc., 8-Bit Microprocessor and Peripheral Data (1983).

4. and , Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, NJ (1982).

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Provably efficient algorithms for resolving temporal and spatial difference constraint violations;ACM Transactions on Design Automation of Electronic Systems;2009-01

2. An Algorithm for Timing Verification of Systems Constrained by Min–max Inequalities;Discrete Event Dynamic Systems;2006-12-29

3. Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints;Discrete Event Dynamic Systems;2005-06

4. Efficient algorithms for approximate time separation of events;Sadhana;2002-04

5. Timing analysis of asynchronous systems using time separation of events;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;1999