机译:正式建模和验证受害者DRAM缓存
Indian Inst Technol Bhubaneswar Sch Elect Sci Bhubaneswar 752050 Odisha India;
Indian Inst Technol Bhubaneswar Sch Elect Sci Bhubaneswar 752050 Odisha India;
Indian Inst Technol Bhubaneswar Sch Elect Sci Bhubaneswar 752050 Odisha India;
Indian Inst Technol Madras Dept Comp Sci &
Engn Chennai 600036 Tamil Nadu India;
Gen Motors R&
D Warren MI 48090 USA;
Univ Auckland Dept Elect Comp &
Software Engn Engn Block-1 Bldg 401 20 Symonds St Auckland 1010 New Zealand;
Architectural modeling; communicating state machines; DRAM cache; victim cache; GPGPU; model checking;
机译:正式建模和验证受害者DRAM缓存
机译:一系列DRAM缓存的控制器的正式建模和验证
机译:带有宽松内存模型的多处理器中缓存一致性的正式自动验证
机译:受害者DRAM缓存的模型后验证
机译:用于转换验证,能效和缓存建模的编译器技术
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:带有宽松内存模型的多处理器中缓存一致性的正式自动验证
机译:mmU和mmU缓存的正式验证