3 Commits

Include renames

Author	SHA1	Message	Date
maksyuki	a87236ae33	feat: refactor RIB interfaces and update test cases ... - Renamed and to and respectively across various test files and modules. - Updated response codes in tests to use new definitions (). - Added new testbench to validate RIB to RAM interactions. - Created for testing RIBP topology routing. - Adjusted memory map tests to reflect new interface names. - Ensured all references to old interface names were replaced in Python test scripts. - Verified that all test cases pass with the new interface structure.	2026-08-04 16:12:22 +08:00
maksyuki	d51d58dd25	feat: add formal properties for sysctrl and update related files ... - Introduced to define formal properties for the sysctrl module. - Updated to include new formal properties and source files. - Renamed to in the bus module and created a new file. - Implemented a testbench for in . - Removed the obsolete test file. - Updated test scripts to reference the new instead of the old RAM module. - Adjusted various test files to ensure compatibility with the new structure and naming conventions.	2026-08-04 12:50:39 +08:00
maksyuki	1b4b53c650	feat: refactor RIB to RIBP: Update tests and scripts to reflect RIBP interface changes ... - Updated test cases in , , , , , , , and to replace references from RIB to RIBP. - Modified file names and paths in tests to align with the new RIBP naming conventions. - Ensured that all assertions and checks in the tests are consistent with the updated RIBP interfaces and functionality. - Added a new test for migrating user core RIBP interfaces in .	2026-08-04 10:56:36 +08:00