| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
Yosys has poor support of packaged types. We will move typedefs to
header files to prepare for formal verification with sby and the
Tiny Tapeout flow later on, which uses yosys.
Additionally, a debug port has been exposed to help verify the internal
state of the regfile registers.
Signed-off-by: Warrick Lo <wlo@warricklo.net>
|
|
Signed-off-by: Warrick Lo <wlo@warricklo.net>
|
|
The term 'slice' is more consistent with old CPU architectures and
academic literature.
Signed-off-by: Warrick Lo <wlo@warricklo.net>
|
|
Signed-off-by: Warrick Lo <wlo@warricklo.net>
|
|
Implements a RISC-V register file with byte-selectable chunk access for
an 8-bit datapath architecture.
Signed-off-by: Warrick Lo <wlo@warricklo.net>
|
