Coherence and satisfiability of waveform timing specifications
Coherence and satisfiability of waveform timing specifications
Optimization of linear max-plus systems with application to timing analysis
Optimization of linear max-plus systems with application to timing analysis
Efficient Algorithms for Interface Timing Verification
Formal Methods in System Design
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Algorithms for Interface Timing Verification
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
A new interface specification methodology and its application to transducer synthesis
A new interface specification methodology and its application to transducer synthesis
A Cycle Time Computing Algorithm and its Application in the Structural Analysis of Min-max Systems
Discrete Event Dynamic Systems
On the equivalence of linear complementarity problems
Operations Research Letters
| Hi-index | 0.00 |
In this paper the timing verification problem with max and linear constraints is formulated in min--max inequalities. An algorithm MMIsolve, based on the UBCsolve algorithm of Walkup, is proposed for solving min-max inequalities and for efficiently finding the maximum time separations between events. A concept of structural finite separation is introduced, and it is found that structural finite separation is a sufficient, but not necessary condition for finite separation. The two conditions are equivalent when the parameters are only allowed to take nonnegative values.