Automatic generation of verifiable cache coherence simulation models from high-level specifications

MaRDI QIDQ4953365zbMATH OpenFDO

Authors A. J. Field, Peter G. Harrison, K. Kanani

Publication date 9 May 2000

zbMATH Keywords

performance modelling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1670768
• Formal Methods in Computer-Aided Design
• Exact and efficient verification of parameterized cache coherence protocols
• scientific article; zbMATH DE number 177247
• Constraint-based verification of parameterized cache coherence protocols

Cited in

(4)

• Modelling and validation of shared memory coherency protocols
• scientific article; zbMATH DE number 1290293 (Why is no real title available?)
• scientific article; zbMATH DE number 1830911 (Why is no real title available?)
• Process algebra for performance evaluation

This page was built for publication: Automatic generation of verifiable cache coherence simulation models from high-level specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953365)