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. #13

Open
opened 2025-08-26 07:05:13 +00:00 by programmerjake · 0 comments

Issue for tracking progress of a subtask of NLnet grant 2024-12-324:
Create a model of the instruction fetch/decode control system, using procedural implementations of the most complex HDL modules where appropriate.

Issue for tracking progress of a subtask of [NLnet grant 2024-12-324](https://git.libre-chip.org/libre-chip/grant-tracking/src/branch/master/nlnet-2024-12-324/progress.md): Create a model of the instruction fetch/decode control system, using procedural implementations of the most complex HDL modules where appropriate. <!-- add additional content here if you like -->
programmerjake added this to the NLnet 2024-12-324 Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs project 2025-08-26 07:05:13 +00:00
Sign in to join this conversation.
No labels
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference: libre-chip/grant-tracking#13
No description provided.