文件名称：benchmarks:共享有关计划，执行和评估基准的想法的中心
文件大小：80.55MB
文件格式：ZIP
更新时间：2024-05-24 06:48:44
SMT
基准测试 该存储库包含用于硬件和底层软件接口的正式共同验证的基准。 这些基准测试的源代码是从QEMU和Linux中提取的。 RTC基准 RTC基准测试说明了实时时钟的硬件/软件接口。 重点是寄存器B以及十个时间/日历和警报字节： 由 要在硬件/软件模型上运行实验，请在文件夹sw-hw/linux/rtc_x86内执行以下命令： $ ./run_expt.sh [Num of Runs] [Experiment Name] [Property No. (1 to 11)] 您还可以通过在同一文件夹中执行以下命令，将实验从i到j一次运行： $ ./run_expt_all.sh [Experiment Name] [i] [j] 在文件夹qemu-hw/rtc使用相同的命令在独立的硬件模型上运行实验。 要获得总运行时和运行时花费在脚本run_expt.sh生成的决策过程上，请运行以下命