jvh3
jvh3
Scott Meeth presenting "Methods and Verification IP for Formally Verifying AMBA® 4 ACE and AMBA 5 CHI Cache-Coherent Designs"
This paper can be found in the ARM Techcon 2013 proceedings as follows:
Methods and Verification IP for Formally Verifying AMBA® 4 ACE and AMBA 5 CHI Cache-Coherent Designs
Session Code: ATC-100, Presented Tuesday October 29
Presenter: Scott Meeth, Jasper Design Automation
Authors: Scott Meeth, Dave Spatafore, and Ross Weber of Jasper Design Automation; Kath Topping, ARM
143
views
0
faves
0
comments
Uploaded on November 5, 2013
Taken on October 29, 2013
Scott Meeth presenting "Methods and Verification IP for Formally Verifying AMBA® 4 ACE and AMBA 5 CHI Cache-Coherent Designs"
This paper can be found in the ARM Techcon 2013 proceedings as follows:
Methods and Verification IP for Formally Verifying AMBA® 4 ACE and AMBA 5 CHI Cache-Coherent Designs
Session Code: ATC-100, Presented Tuesday October 29
Presenter: Scott Meeth, Jasper Design Automation
Authors: Scott Meeth, Dave Spatafore, and Ross Weber of Jasper Design Automation; Kath Topping, ARM
143
views
0
faves
0
comments
Uploaded on November 5, 2013
Taken on October 29, 2013