TECNOLOGIA - RUde GB - Inspector de Protocolo para el AMBA bus

UK -ElectronicsWeekly.com -3 June 2005: -- EDA firma Averant, ha revelado un protocolo de inspección para el autobús de ARM: AMBA 3 AXI... Llamado SolidPC, la herramienta utiliza métodos formales para comprobar que un diseño se conformará con la especificación para el autobús de AMBA...