2 Commits

Include renames

Author	SHA1	Message	Date
maksyuki	5d61b7e90a	refactor: refactor RTL paths and update test descriptions ... - Updated RTL paths in various files to remove the 'ribp' prefix, reflecting the new directory structure. - Modified test descriptions to remove version indicators (e.g., V2, V3) for clarity and consistency. - Adjusted file references in scripts and tests to align with the new peripheral and multimedia directory structure. - Added a new test to ensure repository layout invariants, confirming the absence of deprecated paths.	2026-08-13 13:41:52 +08:00
maksyuki	3aa3d937e1	feat: add RIBP Timer V2 support with formal verification and tests ... - Updated filelist to include new timer peripheral files. - Enhanced formal file generation script to support timer target. - Created timer formal design and properties for formal verification. - Modified formal makefile to include timer targets and source files. - Added timer-related source files to software makefile. - Updated core and management wrappers to include debug halted signal. - Implemented timer testbench for RTL simulation. - Added regression tests for timer functionality in Python. - Introduced timer helper functions in C tests for validation.	2026-08-08 10:05:39 +08:00