Looking for pin/bit accurate AXI4 SystemC models

Hi, I am creating a systemC model for a peripheral which has an AXI4 interface. Is there a bit and pin accurate AXI4 SystemC model similar to the ones available for OCP? Is it available from ARM...
ARMV7A virtualization

Hi, I am working on a hardware platform having 2 Cortex-A15 cores (with virtualization extensions). For routing IRQ's at PL2 to PL3 ( to hypervisor mode), I am setting HCR.IMO bit and it is working...
c++ virtual function override problem

Hi, recently i write a c++ code and have a problem with using virtual function this is a code, class Base { publc : virtual ~Base() {} virtual void Set (void) = 0; // pure virutal fuunction...
GIC virtualization -- GICH_ELRSR and hardware interrupts

Consider a hypervisor injecting a hardware interrupt in a virtual machine, by setting the HW bit in a List Register (LR). According to the GICv{2,3,4} specification, after the virtual machine has taken...
GICv3&4: Direct Injection of Virtual Interrupts

Can anyone make me clear about direct injection of virtual interrupts. It is said in GICv4 that it supports direct injection of virtual interrupts, 1. What is the advantage of direct injection of virtual...