|
RAVEN-SE for ARM and MIPS |
ARM Verification with RAVEN
| Architecture |
Time to Market |
Features |
Sample Implementation |
| ARMv5TE |
Can deliver immediately but may require substantial support first 3 months |
Thumb mode instructions |
ARM946E-S
- (TCMs)
ARM966E-S
- (TCMs)
ARM968E-S
- (TCMs)
ARM996HS
- (TCMs, MPU)
ARM1020E
- (VFP, MMU)
ARM1022E
- (VFP, MMU) |
| ARMv6 |
Requires 2 months with customer simulator and 3 months of substantial support |
SIMD
VFP
Jazelle
(not supported by Raven)
VFP
MMU
Debug |
ARM1136J(F)-S |
| ARMv6T2 |
SIMD
Thumb-2
VFP
MPU |
ARM1156T2(F)-S |
| ARMv6KZ |
SIMD
Jazelle
(not supported by Raven)
VFP
Debug
MMU
TrustZone |
ARM1176JZ(F)-S |
| ARMv6-M |
Thumb-2
(BL,MRS,MSR,ISB,DSB,DMB)
TCM (optional) |
Cortex-M1 |
| ARMv7-A |
Requires 1 month with customer simulator |
VFP
ASE
Jazelle
(not supported by Raven)
Thumb-2
MMU
TrustZone |
Cortex-A8 |
| ARMv7-R |
Immediate Implementation |
VFP
ASE
Jazelle
(not supported by Raven)
Thumb-2
MMU
TrustZone
MPU |
Cortex-R4(F) |
| ARMv7-M |
Requires 1 month with customer simulator |
VFP
ASE
Jazelle
(not supported by Raven)
Thumb-2
MMU
TrustZone
MPU |
Cortex-M3 |
MIPS Verification with RAVEN
| Architecture |
Time to Market |
Features |
Sample Implementation |
| MIPS32 |
Initial implementation in 3 months with 6 months of substantial support |
MMU
FPU
ASE
MT/MP |
N/A |
| MIPS64 |
Immediate implementation of base system
3 months for 2 CPU MP implementation and 2 months of support
2 additional months for 12 CPU MP |
MMU
MDU
Dual-issue
ASE
MT/MP |
MIPS64 5Kc
MIPS64 5Kf (FP) |
|
