Scalar Fixed-Point Compliancy Subset (SFS)

[openpower-gitea-migrator]

Originally Gitea issue #15 by jfng (gitea) on 2022-04-11

---

Scalar Fixed-Point Compliancy Subset (SFS)

Goals

• Add support for the SFS subset of PowerISA v3.1
• Provide a usable framework for CPU verification

Roadmap

Testbench

• Define the Power-FV CPU interface (7114ed8)
  • CIA/NIA
  • GPRs (todo: quad-word access)
  • CR
  • SPRs
  • Instruction/data memory
  • Interrupts
• Add support for alternative arithmetic operations (to serve as substitutes for mul/div ops) (a325393)

Checks

Consistency checks

• Instruction address (Instruction Address check #1, e0e4342)
• GPR access (General-Purpose Registers check #2, b84a238)
• CR access (e7e9bb0)
• MSR access (a5e6995)
• SPR access (2988ffc, 25500cd)
• Causality (Register Causality check #3, 23f5035)
• Instruction memory (Instruction Memory check #4, 749184e)
• Data memory (Data Memory check #5, 5ca0001)

Instruction checks

Branch

• Branch (Branch instruction checks #6, 58bef1a, 5c097b9)
• Condition Register (Condition Register Logical instruction checks #7, fee59d2, 2ffff61, 7b7aa6c)
• System Call (0038f3f)

Load/Store

• Load (Load instruction checks #8, 0f731db)
• Store (Store instruction checks #9, 0f731db)
• Load/Store Quadword
• Load/Store with Byte Reversal (0f731db)

Arithmetic

• Add/Subtract From/Negate (Add/Subtract From/Negate instruction checks #11, f06c800)
• Multiply/Divide/Modulo (Multiply/Divide/Modulo instruction checks #12, a325393)
• Random

Compare

• Compare (Compare instruction checks #13, 692e8ec)
• Character-Type Compare (b3255de)

Trap

• Trap (b579665)

Select

• Select

Logical

• Logical/Equivalent/Extend Sign (Logical/Equivalent/Extend Sign instruction checks #14, aeed090)
• Compare Bytes (aeed090)
• Count Leading/Trailing Zeros (aeed090)
• Population Count (aeed090)
• Parity (aeed090)

Rotate and Shift

• Rotate (Rotate instruction checks #16, 23dcd80)
• Shift (Shift instruction checks #17, 23dcd80)

Other instructions

• BCD Assist (4bf2398)
• Byte-Reverse (Byte-reverse instruction checks #18, ae76ade)
• Move To/From System Register (8cf56ab)
• Prefixed No-Op

Other checks

• Uniqueness check (fc9feb5)
• Liveness check (9fde9f9)
• Completeness check

Build system

• Execute checks concurrently (5c9bc3e, dd6048f)
• Execute checks on a remote machine (89be0e6)

Documentation

• Tutorial
• API reference

[openpower-gitea-migrator]

jfng (gitea) commented on 2022-07-29

Slides used in yesterday's review/demo meeting with James and @wtf:
https://docs.google.com/presentation/d/1m88D0o8hK5T74RDi-MLj2W0f3DQlX-nn3dw98uYRlYM/edit?usp=sharing