Ejecute y verifique RTL empaquetado en la CPU

Utilice Altifigence CLI 0.1.9 en Linux para este flujo local.

Exija un estado de salida 0 antes de leer un resultado guardado. Conserve la salida de error estándar por separado e inspeccione los campos del resultado descritos a continuación.

Guarde una solicitud completa para CPU

Cree packed-request.json con el documento completo siguiente. Este ejemplo utiliza un carril y una trama: la palabra de entrada establece el único bit de entrada y la celda búfer lo copia a la salida. El backend es explícito. Una solicitud para CPU utiliza un presupuesto de memoria de dispositivo igual a cero. Mantenga intactos el esquema y la estructura de la netlist al probar el ejemplo por primera vez; después, ajuste el estímulo acotado para su propia netlist combinacional.

{
  "schema": "altifigence.rtl.packed-request.v1",
  "backend": "cpu",
  "netlist": {
    "schema": "logic-netlist-0",
    "top": "buffer",
    "input_sha256": "ce4c5490bac02643968670ee055c3575a7ed23bad13bd33b1057e8d9b17a1c3a",
    "ports": [
      {
        "name": "a",
        "direction": "input",
        "bits_lsb0": [
          {
            "net": 0
          }
        ]
      },
      {
        "name": "y",
        "direction": "output",
        "bits_lsb0": [
          {
            "net": 1
          }
        ]
      }
    ],
    "nets": [
      {
        "id": 0
      },
      {
        "id": 1
      }
    ],
    "cells": [
      {
        "id": 0,
        "name": "buffer",
        "output": 1,
        "kind": {
          "op": "buf",
          "a": {
            "net": 0
          }
        }
      }
    ]
  },
  "lanes": 1,
  "frames": 1,
  "stimulus": [
    1
  ],
  "timeout_ms": 1000,
  "device_memory_bytes": 0
}

Ejecute y guarde el resultado nativo

alti compute rtl-capabilities
alti compute rtl-simulate --request packed-request.json > packed-result.json

Lea packed-result.json después de que el comando finalice correctamente. El resultado nativo incluye la solicitud, su resumen criptográfico, un informe de simulación, output_words y net_toggle_counts. Para esta solicitud de búfer de un bit, output_words es [1]. Conserve el archivo de resultado completo: la verificación utiliza el artefacto completo, no un extracto. La salida de error estándar contiene el comprobante de ejecución de la CLI por separado del JSON nativo escrito en la salida estándar.

Reproduzca el resultado guardado

alti compute rtl-verify --request packed-result.json

{"schema":"altifigence.rtl.packed-verification.v1","valid":true,"cuda_executed":false}

El documento de verificación mostrado es un extracto; el documento completo también incluye el resumen criptográfico del artefacto. La verificación reproduce el resultado matemático guardado en la CPU. Conserve esta salida junto con la solicitud y el resultado originales para que otro revisor pueda repetir la misma comprobación.

Corrija un error en el número de carriles

Cambiar lanes a 0 en esta solicitud produce el código de error resource-limit con el mensaje packed request exceeds count, time or explicit device budget limits. Restablezca lanes a 1 en packed-request.json y mantenga intactos los demás campos del ejemplo. Después, vuelva a generar el resultado completo y verifíquelo con estos comandos.

alti compute rtl-simulate --request packed-request.json > packed-result.json
alti compute rtl-verify --request packed-result.json