Article

A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.

Authors:

P. Manolios,

S. K. SrinivasanAuthors Info & Claims

MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Pages 188 - 197

https://doi.org/10.1109/MEMCOD.2005.1487914

Published: 11 July 2005 Publication History

Get Access

Cited By

View all

Srinivasan SKatti RBjesse PSlobodová A(2011)DesynchronizationProceedings of the International Conference on Formal Methods in Computer-Aided Design10.5555/2157654.2157687(215-222)Online publication date: 30-Oct-2011
https://dl.acm.org/doi/10.5555/2157654.2157687
Manolios PSrinivasan S(2008)Automatic verification of safety and liveness for pipelined machines using WEB refinementACM Transactions on Design Automation of Electronic Systems10.1145/1367045.136705413:3(1-19)Online publication date: 25-Jul-2008
https://dl.acm.org/doi/10.1145/1367045.1367054
Kane RManolios PSrinivasan SGielen G(2006)Monolithic verification of deep pipelines with collapsed flushingProceedings of the conference on Design, automation and test in Europe: Proceedings10.5555/1131481.1131825(1234-1239)Online publication date: 6-Mar-2006
https://dl.acm.org/doi/10.5555/1131481.1131825
Show More Cited By

Recommendations

On an integral method for backward boundary layers
Zusammenfassung
Eine Integralmethode für die Lösung von zweidimensionalen Grenzschichtgleichungen wird entwickelt für Fälle, in denen die Lösungen sich anfänglich wie diejenigen von ≪End-Grenzschichten≫ benehmen. Diese Lösungen sind von Goldstein behandelt ...
Optimierung Der Schnittstelle Zwischen Hypervisor Und Betriebssystemkern Bei Virtuellen Maschinen / Optimization of the Interface between Hypervisor and Operating System Kernel for Virtual Machines
Eine Methodik zur Entwicklung von Multiagenten-Systemen auf Basis von Geschäftsprozess-Modellen / A Method for the Development of Multi-Agent Systems Based on Business Process Models

Comments

Information & Contributors

Information

Published In

MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

July 2005

241 pages

ISBN:0780392272

Publisher

IEEE Computer Society

United States

Publication History

Published: 11 July 2005

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 34 of 82 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
12
Total Downloads

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

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Srinivasan SKatti RBjesse PSlobodová A(2011)DesynchronizationProceedings of the International Conference on Formal Methods in Computer-Aided Design10.5555/2157654.2157687(215-222)Online publication date: 30-Oct-2011
https://dl.acm.org/doi/10.5555/2157654.2157687
Manolios PSrinivasan S(2008)Automatic verification of safety and liveness for pipelined machines using WEB refinementACM Transactions on Design Automation of Electronic Systems10.1145/1367045.136705413:3(1-19)Online publication date: 25-Jul-2008
https://dl.acm.org/doi/10.1145/1367045.1367054
Kane RManolios PSrinivasan SGielen G(2006)Monolithic verification of deep pipelines with collapsed flushingProceedings of the conference on Design, automation and test in Europe: Proceedings10.5555/1131481.1131825(1234-1239)Online publication date: 6-Mar-2006
https://dl.acm.org/doi/10.5555/1131481.1131825
Nieuwenhuis ROliveras ATinelli C(2006)Solving SAT and SAT Modulo TheoriesJournal of the ACM10.1145/1217856.121785953:6(937-977)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1145/1217856.1217859
Manolios P(2006)Refinement and theorem provingProceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems10.1007/11757283_7(176-210)Online publication date: 22-May-2006
https://dl.acm.org/doi/10.1007/11757283_7
Manolios PSrinivasan S(2005)A complete compositional reasoning framework for the efficient verification of pipelined machinesProceedings of the 2005 IEEE/ACM International conference on Computer-aided design10.5555/1129601.1129723(863-870)Online publication date: 31-May-2005
https://dl.acm.org/doi/10.5555/1129601.1129723
Manolios PSrinivasan S(2005)A parameterized benchmark suite of hard pipelined-machine-verification problemsProceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods10.1007/11560548_32(363-366)Online publication date: 3-Oct-2005
https://dl.acm.org/doi/10.1007/11560548_32

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

On an integral method for backward boundary layers

Optimierung Der Schnittstelle Zwischen Hypervisor Und Betriebssystemkern Bei Virtuellen Maschinen / Optimization of the Interface between Hypervisor and Operating System Kernel for Virtual Machines

Eine Methodik zur Entwicklung von Multiagenten-Systemen auf Basis von Geschäftsprozess-Modellen / A Method for the Development of Multi-Agent Systems Based on Business Process Models

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Cited By

Recommendations

On an integral method for backward boundary layers

Optimierung Der Schnittstelle Zwischen Hypervisor Und Betriebssystemkern Bei Virtuellen Maschinen / Optimization of the Interface between Hypervisor and Operating System Kernel for Virtual Machines

Eine Methodik zur Entwicklung von Multiagenten-Systemen auf Basis von Geschäftsprozess-Modellen / A Method for the Development of Multi-Agent Systems Based on Business Process Models

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations