Jalankan dan verifikasi RTL terkemas pada CPU

Gunakan Altifigence CLI 0.1.9 di Linux untuk alur kerja lokal ini.

Pastikan status keluar bernilai 0 sebelum membaca hasil yang disimpan. Simpan keluaran kesalahan standar secara terpisah dan periksa bidang hasil yang dijelaskan di bawah ini.

Simpan permintaan CPU lengkap

Buat packed-request.json dengan dokumen lengkap di bawah ini. Contoh ini menggunakan satu lane dan satu frame: word masukan mengatur satu bit masukan, dan sel buffer menyalinnya ke keluaran. Backend ditetapkan secara eksplisit. Permintaan CPU menggunakan anggaran memori perangkat nol. Pertahankan skema dan struktur netlist saat pertama kali mencoba contoh ini, lalu sesuaikan stimulus berbatas untuk netlist kombinasional Anda sendiri.

{
  "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
}

Jalankan dan simpan hasil native

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

Baca packed-result.json setelah perintah berhasil. Hasil native mencakup permintaan, digest-nya, laporan simulasi, output_words, dan net_toggle_counts. Untuk permintaan buffer satu bit ini, output_words adalah [1]. Pertahankan seluruh berkas hasil: verifikasi menggunakan artefak lengkap, bukan kutipan. Keluaran kesalahan standar memuat rekaman eksekusi CLI secara terpisah dari JSON native yang ditulis ke keluaran standar.

Jalankan ulang hasil yang disimpan

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

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

Dokumen verifikasi yang ditampilkan adalah kutipan; dokumen lengkap juga mencakup digest artefak. Verifikasi menjalankan ulang hasil matematis yang disimpan pada CPU. Simpan keluaran ini di samping permintaan dan hasil asli agar peninjau lain dapat mengulangi pemeriksaan yang sama.

Perbaiki kesalahan jumlah lane

Mengubah lanes menjadi 0 dalam permintaan ini menghasilkan kode kesalahan resource-limit dengan pesan packed request exceeds count, time or explicit device budget limits. Kembalikan lanes menjadi 1 di packed-request.json, dengan mempertahankan bidang contoh lainnya. Kemudian hasilkan kembali hasil lengkap dan verifikasi menggunakan perintah-perintah ini.

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