|
|||||
|
|
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor |
|
| Authors: | Jayanta Bhadra Andrew K. Martin Jacob A. Abraham |
| Affiliation: | (1) Freescale Semiconductor Inc., Taxas;(2) IBM Corp., New York;(3) The University of Texas at Austin, Austin |
| Abstract: | |
| Keywords: | equivalence checking symbolic trajectory evaluation efficient memory models embedded memory verification custom circuit verification |
| 本文献已被 SpringerLink 等数据库收录！ | |