A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor

DOI10.1007/s10703-005-2250-1zbMath1086.68517OpenAlexW1980490128MaRDI QIDQ816213

Jacob A. Abraham, Jayanta Bhadra, Andrew K. Martin

Publication date: 20 February 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-2250-1

zbMATH Keywords

equivalence checkingsymbolic trajectory evaluationcustom circuit verificationefficient memory modelsembedded memory verification

Mathematics Subject Classification ID

Computer system organization (68M99)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor