PIM 算法契约：同一组器件参数，同一把尺子

验证对象是你的 PIM 实现（算法模型 / 驱动 / 仿真器），不是芯片实测。 器件基准锁定为 256×256 阵列 · 6-bit ADC（range 32，LSB 0.5，严格 mid-tread） · σ = 0.008 高斯噪声 · 45 ℃：期望值 = 同一输入在 float64 中按冻结契约复算 的结果（GEMM → ADC → C += σ·z，z 随包下发）。器件参数由服务端金标准锁定， 客户端 manifest 无法覆盖。

—覆盖链路
—算法契约用例
—输入分布
—期望输出元素
float64金标准精度
—金标准版本

适用范围：PIM 器件链路契约回归（L1 · 算法级）——单用例最大 65,536 元素，验证 GEMM → 严格 mid-tread ADC → 噪声叠加整条链路与冻结器件参数的一致性； 验证对象是你的算法实现（模型 / 驱动 / 仿真器），不是芯片实测， 不覆盖模拟域非理想因素（IR drop / 器件漂移 / 阵列失配），也不作性能验收。 报告中的 latency 与 GFLOPS 若出现，均为提交方自报，引擎不测量、不复算。 普通上传不核验运行硬件（由提交方自证）；需要设备级证据时走 HIL 设备证明——板卡私钥对本次挑战码与输出哈希签名。

  1. 1

    选择器件链路并下载

    正在加载算子目录…
  2. 2

    在本地运行被测算法

    解压向量包后，使用 inputs/ 中的原始输入在你的硬件或 仿真器上计算（参数张量同样位于 inputs/，禁止修改）， 再将结果按 manifest 声明写入 outputs/。

    • 字节序 / 排列：小端（little-endian）、行优先（row-major）
    • 输出命名： outputs/<case_id>__output.bin （扩展名也可用 .npy / .npz / .csv / .json，csv/json 按 manifest 形状自动重塑）
    • 回传方式：保持 zip 目录结构原样打包回传即可
    • 确定性复测（可选）：用相同输入再跑一遍，把第二次结果按同一 命名写入 outputs_repeat/。两次结果不一致会判为 非确定性并计入报告，该项用于暴露竞争、未初始化存储等硬件问题
    Python 读取 .bin 输入 / 写出 .bin 输出 示例 
    
        
    
        
    
          C99 读取小端 float32 输入 示例

    
        
    
        
    
          CI 接入（下载 → 判定 → 徽章）

    
        
    
      
    
    
    3. 

    
    
  3. 
      
    3
        
    上传回传产物
    
      
    
        
    
          
          
        
    
        
    
          上传含 outputs/ 的 zip 产物，引擎将按该 dtype 的 cos / rel-L2 双门限判定（门限见文档中心第 7 节）。
        
    
        
    
          
    点击选择 或将回传 zip 拖到此处
    
          
    仅接受 .zip，大小上限以服务端目录为准
    
          
        
    
        
    
          
          
        
    
        
    
      
    
    
    4.