Verification report Bk7+ Multicore

Summary
The last subtask is dedicated to the verification of the generated RTL and documentation.