Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip

Download Now
Provided by: Université Paris Diderot
Topic: Hardware
Format: PDF
System-on-Chip (SoC) architectures integrate now many different components, such as processors, accelerators, memory, and I/O blocks, some but not all of which may have caches. Because the validation effort with simulation-based validation techniques, as currently used in industry, grows exponentially with the complexity of the SoC, the authors investigate in this paper the use of formal verification techniques. More precisely, they use the CADP toolbox to develop and validate a generic formal model of an SoC compliant with the recent ACE specification proposed by ARM to implement system-level coherency.
Download Now

Find By Topic