IBM/chiffre

Unit Testing

seldridge opened this issue · 0 comments

All testing to this point has been handled via modification of rocket-chip, use of LeChiffre to inject faults, and bare metal tests to fiddle with rocket-chip CSRs. This should be migrated to actual unit tests that cover at least the following ares:

  • Firrtl tests
    • FaultInstrumentation Pass
    • ScanChainTransform
    • FaultInstrumentationTransform (a combination of the above two)
  • Chisel tests
    • Trait tests
      • Chiffre Injector
      • Chiffre Injectee
    • Injector tests
      • Cycle
      • Lfsr
      • StuckAt
  • Rocket Chip (Anything here is difficult as it technically requires full access to rocket-chip. This may be worth punting on until rocket-chip is available as a library)
    • LeChiffre
  • More?