Mujahid Siddiq

I compiled the L2 cache module to verify coherency behavior using a formal tool with property-based verification. In this setup, the NoC1 input is constrained so that only LOAD_REQ and...

Yes, you’re right — I’m not currently checking for a direct functional bug. My focus right now is on verifying the micro-architectural behavior against the specified state transitions in the...

Well, I don’t think the silent downgrade explanation applies in this case. Silent transitions typically occur for E → M, not for M → S. If the owner transitions from...

Hi, I have rechecked the modification case through simulation, and the overall behavior is working correctly. The earlier observation was not a functional bug but rather a mismatch between the...

I really appreciate that you’re working on updating the specification. Once an initial version is ready, I’d be happy to review it and suggest clarifications wherever needed. I understand that...