The registers listed in the following table can be read from the AXI4-Lite control register slave interface.
The Current PC registers indicate the
current state of the pc_status vector, which might
accumulate more checks over time.
The Snapshot PC registers indicate the state of the
pc_status vector at the time of the first check assertion (when
pc_asserted first becomes asserted). The Snapshot registers are reset by
either aresetn or system_resetn .
| Address Space Offset | Register Name | Access Type | Default Value | Description |
|---|---|---|---|---|
| 0x000 | PC asserted | R | 0 | Bit 0 = Current value of pc_asserted |
| 0x100 | Current PC[31:0] | R | 0 | Current value of pc_status[31:0] |
| 0x104 | Current PC[63:32] | R | 0 | Current value of pc_status[63:32] |
| 0x108 | Current PC[95:64] | R | 0 | Current value of pc_status[95:64] |
| 0x10C | Current PC[127:96] | R | 0 | Current value of pc_status[127:96] |
| 0x200 | Snapshot PC[31:0] | R | 0 | First event value of pc_status[31:0] |
| 0x204 | Snapshot PC[63:32] | R | 0 | First event value of pc_status[63:32] |
| 0x208 | Snapshot PC[95:64] | R | 0 | First event value of pc_status[95:64] |
| 0x20C | Snapshot PC[127:96] | R | 0 | First event value of pc_status[127:96] |