Algebraic models of microprocessors architecture and organisation

DOI10.1007/S002360050051zbMath0855.68064OpenAlexW2048827942MaRDI QIDQ1815999

J. V. Tucker, N. A. Harman

Publication date: 21 November 1996

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050051

zbMATH Keywords

microprocessorsalgebraic models

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (5)

Algebraic models of correctness for abstract pipelines. ⋮ Algebraic models of behaviour and correctness of SMT and CMT processors ⋮ Computable total functions on metric algebras, universal algebraic specifications and dynamical systems ⋮ Maurer computers for pipelined instruction processing ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Uses Software

• OBJ3
• HOL
• NQTHM

Cites Work

• FM8501: a verified microprocessor
• Theoretical Foundations of VLSI Design
• The Mechanical Evaluation of Expressions
• Higher Order Logic and Hardware Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic models of microprocessors architecture and organisation