Cesar Strauss

Status Tracking

Currently working on

  • Bug #565: Improve formal verification on PartitionedSignal
  • Bug #583: Implement simple VL for-loop in nMigen for TestIssuer

Submitted to NLNet but not yet paid

NLNet.2019.10.Wishbone

  • Bug #475: cxxsim improvements
    • submitted on 2021-05-05
    • €250 out of total of €1750