Sciweavers

Share
ENTCS
2006

Verification of AMBA Using a Combination of Model Checking and Theorem Proving

8 years 9 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of model checking and theorem proving to verify both control and datapath properties in a seamless manner. Key words: System-on-Chip, theorem proving, model checking, tool combination.
Hasan Amjad
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Hasan Amjad
Comments (0)
books