programmerjake
deleted branch add-structure from programmerjake/grant-tracking
2025-08-26 08:00:53 +00:00
fill out grant tracking structure
NLnet 2024-12-324 Attempt Proof that our CPU but with zeroed outputs for all eventually-cancelled instructions is equivalent to our real CPU design
NLnet 2024-12-324 Write Rocq and HDL logic for tracking which instructions will eventually be cancelled and which will eventually be retired.
NLnet 2024-12-324 adding order-violation detection logic
NLnet 2024-12-324 adding atomics: lr/sc, atomic fetch-add (or other fetch-op)
NLnet 2024-12-324 memory store execution unit
NLnet 2024-12-324 memory load execution unit (we'll want to be able to do more than one load at once)
NLnet 2024-12-324 d-cache
NLnet 2024-12-324 memory system: main memory and IO devices
NLnet 2024-12-324 Translate the procedural model to use actual synthesizeable HDL.
NLnet 2024-12-324 Create a model of the instruction fetch/decode control system, using procedural implementations of the most complex HDL modules where appropriate.
NLnet 2024-12-324 Create the PowerISA decoder
NLnet 2024-12-324 Create the fetch and i-cache logic.
NLnet 2024-12-324 Create the next-instruction logic
NLnet 2024-12-324 Translate the procedural model to use actual synthesizeable HDL
NLnet 2024-12-324 Create a model of the whole rename/execute/retire control system, using procedural implementations of the most complex HDL modules where appropriate.