Studies/Formal Verification
-
MSI protocol - NuSMV 구현Studies/Formal Verification 2023. 3. 10. 14:12
1. 관련 노트 2. 관련 코드 MODULE main VAR -- cpu_op1234: {rd1, wr1, rd2, wr2, none}; cpu_op1234: {rd1, wr1, rd2, wr2, rd3, wr3, none}; -- cpu_op1234: {rd1, wr1, rd2, wr2, rd3, wr3, rd4, wr4}; cache1 : {state_M, state_S, state_I, tr_S2M, tr_I2M, tr_I2S}; cache2 : {state_M, state_S, state_I, tr_S2M, tr_I2M, tr_I2S}; cache3 : {state_M, state_S, state_I, tr_S2M, tr_I2M, tr_I2S}; bus: {rd, rdx, upgrade, flus..
-
Cache CoherenceStudies/Formal Verification 2023. 1. 26. 10:33
Cache Memory란? https://www.techtarget.com/searchstorage/definition/cache-memory What is Cache Memory? Cache Memory in Computers, Explained Learn the meaning and different types of cache memory, also known as CPU memory, which provides faster access to frequently used program instructions or information that the CPU is likely to need next. www.techtarget.com - cache controller란? : a hardware bloc..