机译:TriCheck:软件,硬件和ISA三部曲中的内存模型验证
Princeton University;
Princeton University;
NVIDIA;
NVIDIA;
Princeton University;
computer architecture; heterogeneous parallelism; memory consistency; shared memory; verification; compilation; C11; RISC-V;
机译:TRICHECK:软件,硬件和ISA三尺寸的内存模型验证
机译:基于硬件软件与ModelSim协同设计的电路架构测试验证
机译:结合软件和硬件测试生成方法来验证VHDL模型
机译:硬件视图中的软件:SoC验证和测试中与硬件相关的软件的新模型
机译:软件验证技术在硬件设计验证中的应用。
机译:使用ACL2进行工业硬件和软件验证
机译:TriCheck:软件三等级的内存模型验证, 硬件和Isa
机译:远程终端仿真器(设计验证模型) - 支持软件和硬件诊断,