TECHNOLOGY - UK - Protocol checker for AMBA bus
UK -ElectronicsWeekly.com -3 June 2005: -- EDA firm Averant has unveiled a protocol checker for ARM's AMBA 3 AXI bus... Called SolidPC, the tool uses formal methods to check that a design will conform to the specification for the AMBA bus...
posted by Unknown @ 3:30 PM
0 Comments:
Post a Comment
Subscribe to Post Comments [Atom]
<< Home