Description and simulation of microprocessor instruction sets using ASMs

DOI10.1007/3-540-44518-8_15MaRDI QIDQ2753713zbMATH OpenFDO

Authors Jürgen Teich, Philipp W. Kutter, Ralph Weper

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44518-8_15

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• Microprocessor Simulation and Program Assembling Using Spreadsheets
• Simulation research on LS RISC microprocessor
• Synthesis of Processor Instruction Sets from High-Level ISA Specifications
• Simulation of operational semantics of machine instructions

Cited in

(3)

• Symbioses between mathematical logic and computer science
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• AsmL specification of a Ptolemy II scheduler

This page was built for publication: Description and simulation of microprocessor instruction sets using ASMs

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