Unit Testing

[Schuyler Eldridge]

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?