Algebraic models of correctness for abstract pipelines.

DOI10.1016/S1567-8326(03)00041-9zbMath1059.68074MaRDI QIDQ1426058

A. J. C. Fox, N. A. Harman

Publication date: 14 March 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

design of pipelined systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

The data type of spatial objects ⋮ Algebraic models of behaviour and correctness of SMT and CMT processors ⋮ Maurer computers for pipelined instruction processing ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Uses Software

• HOL
• Maude
• Velev SAT Benchmarks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• FM8501: a verified microprocessor
• Algebraic models of microprocessors architecture and organisation
• Theoretical Foundations of VLSI Design
• The Mechanical Evaluation of Expressions
• Algebraic models of correctness for microprocessors
• Higher Order Logic and Hardware Verification

This page was built for publication: Algebraic models of correctness for abstract pipelines.