Article

Algorithms for Interface Timing Verification

Authors:

Kenneth L. McMillan,

David L. DillAuthors Info & Claims

ICCD '92: Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

Pages 48 - 51

Published: 11 October 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Declerck P(2016)Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event GraphsDiscrete Event Dynamic Systems10.1007/s10626-016-0227-426:4(611-632)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1007/s10626-016-0227-4
Declerck PGuezzi A(2014)Predictive control of Timed Event Graphs with specifications defined by P-time Event GraphsDiscrete Event Dynamic Systems10.1007/s10626-012-0150-224:3(261-273)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1007/s10626-012-0150-2
Declerck PGuezzi A(2014)State estimation and detection of changes in time interval modelsDiscrete Event Dynamic Systems10.1007/s10626-012-0149-824:1(53-68)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1007/s10626-012-0149-8
Show More Cited By

Algorithms for Interface Timing Verification

Recommendations

Timing verification of interface specifications and controllers
An Interface Theory for Program Verification
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Abstract
Program verification is the problem, for a given program and a specification , of constructing a proof of correctness for the statement “program satisfies specification ” () or a proof of violation ([inline-graphic not available: see fulltext]). ...
Automated interface refinement for compositional verification

Compositional verification is essential for verifying large systems. However, approximate environments are needed when verifying the constituent modules in a system. Effective compositional verification requires finding a simple but accurate ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICCD '92: Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

October 1992

534 pages

ISBN:0818631104

Publisher

IEEE Computer Society

United States

Publication History

Published: 11 October 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Declerck P(2016)Compromise approach for predictive control of Timed Event Graphs with specifications defined by P-time Event GraphsDiscrete Event Dynamic Systems10.1007/s10626-016-0227-426:4(611-632)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1007/s10626-016-0227-4
Declerck PGuezzi A(2014)Predictive control of Timed Event Graphs with specifications defined by P-time Event GraphsDiscrete Event Dynamic Systems10.1007/s10626-012-0150-224:3(261-273)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1007/s10626-012-0150-2
Declerck PGuezzi A(2014)State estimation and detection of changes in time interval modelsDiscrete Event Dynamic Systems10.1007/s10626-012-0149-824:1(53-68)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1007/s10626-012-0149-8
Das DChakrabarti PKumar R(2009)Scenario-based timing verification of multiprocessor embedded applicationsACM Transactions on Design Automation of Electronic Systems10.1145/1529255.152925914:3(1-58)Online publication date: 4-Jun-2009
https://dl.acm.org/doi/10.1145/1529255.1529259
McGee PNowick SGielen G(2007)An efficient algorithm for time separation of events in concurrent systemsProceedings of the 2007 IEEE/ACM international conference on Computer-aided design10.5555/1326073.1326110(180-187)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.5555/1326073.1326110
Zhang QHarris I(2001)A Validation Fault Model for Timing-Induced Functional ErrorsProceedings of the 2001 IEEE International Test Conference10.5555/839296.843856Online publication date: 30-Oct-2001
https://dl.acm.org/doi/10.5555/839296.843856
Yen TWolf W(2001)Performance estimation for real-time distributed embedded systemsReadings in hardware/software co-design10.5555/567003.567019(195-206)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567019
Ramanathan DJejurikar RGupta RYoshida K(2000)Timing driven co-design of networked embedded systemsProceedings of the 2000 Asia and South Pacific Design Automation Conference10.1145/368434.368589(117-122)Online publication date: 28-Jan-2000
https://dl.acm.org/doi/10.1145/368434.368589
Amon THulgaard H(1999)Symbolic Time Separation of EventsProceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems10.5555/785165.785295Online publication date: 19-Apr-1999
https://dl.acm.org/doi/10.5555/785165.785295
Schwiegelshohn UThiele L(1999)Dynamic Min-Max ProblemsDiscrete Event Dynamic Systems10.1023/A:10083867135339:2(111-134)Online publication date: 1-May-1999
https://dl.acm.org/doi/10.1023/A%3A1008386713533
Show More Cited By

Abstract

Cited By

Recommendations

Timing verification of interface specifications and controllers

An Interface Theory for Program Verification

Automated interface refinement for compositional verification

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations