Directed Test Generation for Validation of Cache Coherence Protocols
2019 ◽
Vol 38
(1)
◽
pp. 163-176
◽
Yangdi Lyu
◽
Xiaoke Qin
◽
Mingsong Chen
◽
Prabhat Mishra
Anirudh Mohan Kaushik
◽
Mohamed Hassan
◽
Hiren Patel
2004 ◽
Vol 24
(4)
◽
pp. 33-41
◽
T. Suh
◽
H.-H.S. Lee
◽
D.M. Blough
Yongjian Li
◽
Jun Pang
◽
Yi Lv
◽
Dongrui Fan
◽
Shen Cao
◽
...
E. Allen Emerson
◽
Vineet Kahlon
Konstantinos Aisopos
◽
Li-Shiuan Peh
Julie Dumas
◽
Eric Guthmuller
◽
César Fuguet Tortolero
◽
Frédéric Pétrot
Hongbo Zeng
◽
Kun Huang
◽
Ming Wu
◽
Weiwu Hu
Manoj Kumar
◽
Pooja Arora
1994 ◽
Vol 26
(2)
◽
pp. 61-64
Jerónimo Nájera
◽
Luis Gómez