Livt packages
Eccelerators.RiscV
Version 0.3.0
Composable RV32I and Zmmul processors, machine-mode support, and reusable FPGA system components written in Livt.
Published files (120)
- fixtures
- DelayedWordDevice.lvt
- PipelineFetchMemory.lvt
- PipelineWordDevice.lvt
- README.md
- Rv32BusCoreTest.lvt
- Rv32BusProtocolTest.lvt
- Rv32CsrEngineTest.lvt
- Rv32CsrRetirement.lvt
- Rv32DspControlTest.lvt
- Rv32DspEngineTest.lvt
- Rv32DspMultiplierTest.lvt
- Rv32DualReadDistributedTest.lvt
- Rv32DualReadRegisterBankTest.lvt
- Rv32ExternalInterruptTest.lvt
- Rv32FetchBusTest.lvt
- Rv32iConstantsTest.lvt
- Rv32iDecodeTest.lvt
- Rv32InterruptCsrTest.lvt
- Rv32iPackageApiTest.lvt
- Rv32iSemanticsTest.lvt
- Rv32IterativeMultiplierTest.lvt
- Rv32LoadStoreBusTest.lvt
- Rv32MachineCsrsTest.lvt
- Rv32MachineDecoderTest.lvt
- Rv32MultiplyRetirement.lvt
- Rv32MultiplyVectors.lvt
- Rv32PipelineControlTest.lvt
- Rv32PipelineCsrEngineTest.lvt
- Rv32PipelineDspEngineTest.lvt
- Rv32PipelineEngineTest.lvt
- Rv32PipelineExternalInterruptTest.lvt
- Rv32PipelineTimerInterruptTest.lvt
- Rv32PipelineTrapEngineTest.lvt
- Rv32PipelineZmmulEngineTest.lvt
- Rv32RegisterBankTest.lvt
- Rv32SequentialControlTest.lvt
- Rv32SequentialEngineTest.lvt
- Rv32TimerInterruptTest.lvt
- Rv32TrapEngineTest.lvt
- Rv32TrapPolicyTest.lvt
- Rv32ZicsrAccessTest.lvt
- Rv32ZicsrDecoderTest.lvt
- Rv32ZmmulControlTest.lvt
- Rv32ZmmulDecodeTest.lvt
- Rv32ZmmulEngineTest.lvt
- RvExternalInterruptsTest.lvt
- RvMachineSystemTest.lvt
- RvMachineTimerTest.lvt
- RvPipelineSystemTest.lvt
- RvSystemTest.lvt
- RvUartDeviceTest.lvt
- RvUartSystemTest.lvt
tests/Rv32CsrRetirement.lvt
namespace Eccelerators.RiscV.Tests
/**
* Independent instruction/retirement expectations for CSR access scenarios.
*/
public class Rv32CsrRetirement
{
// Independent words expected by the architectural scoreboard.
public const WORDS: uint[379] = [
0x00000093, 0x00000113, 0x340ad073, 0x34001073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340010f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34001173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340011f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34009073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340090f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34009173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340091f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34011073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340110f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34011173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340111f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34002073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340020f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34002173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340021f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x3400a073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x3400a0f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x3400a173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x3400a1f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34012073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340120f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34012173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340121f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34003073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340030f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34003173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340031f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x3400b073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x3400b0f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x3400b173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x3400b1f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34013073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340130f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34013173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340131f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34005073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340050f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34005173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340051f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x3400d073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x3400d0f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x3400d173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x3400d1f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34015073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340150f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34015173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340151f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34006073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340060f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34006173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340061f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x3400e073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x3400e0f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x3400e173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x3400e1f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34016073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340160f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34016173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340161f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x34007073, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x340070f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34007173, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340071f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x3400f073,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x3400f0f3, 0x34002273,
0x00000093, 0x00000113, 0x340ad073, 0x3400f173, 0x34002273, 0x03500093,
0x00000113, 0x340ad073, 0x3400f1f3, 0x34002273, 0x00000093, 0x00000113,
0x340ad073, 0x34017073, 0x34002273, 0x03500093, 0x00000113, 0x340ad073,
0x340170f3, 0x34002273, 0x00000093, 0x00000113, 0x340ad073, 0x34017173,
0x34002273, 0x03500093, 0x00000113, 0x340ad073, 0x340171f3, 0x34002273,
0xfff00093, 0x300090f3, 0x300021f3, 0xfff00093, 0x301090f3, 0x301021f3,
0xfff00093, 0x305090f3, 0x305021f3, 0xfff00093, 0x341090f3, 0x341021f3,
0xb02022f3, 0xb023d073, 0xb0202373, 0xb02023f3, 0xf1102573, 0xf11065f3,
0x00100073
]
// Independent destinations expected by the architectural scoreboard.
public const DESTINATIONS: uint[378] = [
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000001, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000002, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000003, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000000,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000001, 0x00000004,
0x00000001, 0x00000002, 0x00000000, 0x00000002, 0x00000004, 0x00000001,
0x00000002, 0x00000000, 0x00000003, 0x00000004, 0x00000001, 0x00000002,
0x00000000, 0x00000000, 0x00000004, 0x00000001, 0x00000002, 0x00000000,
0x00000001, 0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000002,
0x00000004, 0x00000001, 0x00000002, 0x00000000, 0x00000003, 0x00000004,
0x00000001, 0x00000001, 0x00000003, 0x00000001, 0x00000001, 0x00000003,
0x00000001, 0x00000001, 0x00000003, 0x00000001, 0x00000001, 0x00000003,
0x00000005, 0x00000000, 0x00000006, 0x00000007, 0x0000000a, 0x0000000b
]
// Independent values expected by the architectural scoreboard.
public const VALUES: uint[378] = [
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000000, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000000, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000000, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000015,
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000015,
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000000, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000001, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000001,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000001, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000001, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000002, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000002, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000002, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000002,
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000015,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000017, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000017, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000017, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000017,
0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000015, 0x00000000, 0x00000000,
0x00000000, 0x00000015, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000014, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000014,
0x00000000, 0x00000000, 0x00000000, 0x00000015, 0x00000014, 0x00000035,
0x00000000, 0x00000000, 0x00000015, 0x00000014, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000015, 0x00000035, 0x00000000, 0x00000000,
0x00000015, 0x00000015, 0x00000000, 0x00000000, 0x00000000, 0x00000015,
0x00000015, 0x00000035, 0x00000000, 0x00000000, 0x00000015, 0x00000015,
0xffffffff, 0x00001800, 0x00001888, 0xffffffff, 0x40000100, 0x40000100,
0xffffffff, 0x00000000, 0xfffffffc, 0xffffffff, 0x00000000, 0xfffffffc,
0x00000174, 0x00000000, 0x00000007, 0x00000008, 0x00000000, 0x00000000
]
}