Google XLS melalui Altifigence CLI

Altifigence CLI menyediakan alur kerja Linux x86_64 untuk menginstal dan menjalankan rangkaian alat Google XLS upstream dengan versi yang ditetapkan. CLI menerima permintaan yang menentukan modul sumber dan operasi, lalu mengembalikan hasil dari alat yang diinstal. Melalui alur baris perintah ini, perancang dapat memeriksa DSLX, menjalankan pengujian modul, dan menghasilkan SystemVerilog dari fungsi yang dipilih.

Alur kerja kedua menghubungkan klien MCP yang kompatibel ke alat sumber XLS lokal. Alat ini memakai mesin XLS native pendamping pada CPU dan menerima sumber yang disertakan langsung dalam permintaan. Alur rangkaian alat upstream dan alur XLS MCP lokal memiliki langkah penyiapan serta format permintaan yang terpisah. Masing-masing menawarkan cara konkret untuk mengolah sumber dan memeriksa keluarannya melalui instalasi Altifigence CLI.

Jalankan rangkaian alat Google XLS upstream dengan versi yang ditetapkan

Jalur upstream dimulai dengan instalasi rangkaian alat secara eksplisit. Altifigence CLI menginstal rilis Google XLS yang ditetapkan, memverifikasi arsip, serta memeriksa inventaris alat dan pustaka standar. CLI mempertahankan berkas lisensi rilis dan menulis konfigurasi rangkaian alat setelah pemeriksaan tersebut berhasil. CLI memverifikasi kembali rilis yang diinstal itu sebelum digunakan.

Konfigurasi menentukan instalasi yang dipakai untuk permintaan berikutnya. Respons kapabilitas menjelaskan operasi dan jenis masukan yang tersedia beserta identitas rilis dan alat. Ini memberi tugas sumber konteks eksekusi yang jelas: permintaan, instalasi yang dipilih, serta hasil yang mencatat alat yang terlibat.

Instal Altifigence CLI di Linux x86_64. Jalankan alti xls upstream install sebagai pengguna biasa Anda, dengan memilih jalur absolut baru untuk tujuan instalasi dan konfigurasi rangkaian alat di dalam folder yang sudah ada.
Baca respons alti xls upstream capabilities dengan konfigurasi rangkaian alat tersebut. Periksa operasi, jenis masukan, dan identitas rilis terinstal yang dilaporkan untuk instalasi Anda.
Siapkan permintaan dengan operation, input_kind, entry, dan files. Untuk DSLX, files berisi modul dengan kunci berupa jalur relatif yang berakhiran .x, dan entry menentukan modul awal.
Jalankan alti xls upstream run dengan konfigurasi rangkaian alat, folder akar kerja yang sudah ada, dan permintaan. Pilih check untuk penguraian dan pemeriksaan tipe, atau eval untuk fungsi uji dan proc uji pada modul awal.
Untuk fungsi yang dipilih, sertakan top dan pilih convert, optimize, atau codegen. Periksa artefak yang dikembalikan dan simpan hasil bersama permintaan sumber untuk peninjauan Anda.

Permintaan dengan beberapa berkas memperjelas hubungan antara modul dan impornya. Contoh yang diterbitkan menempatkan fungsi add dalam adder.x dan mengimpornya dari main.x, tempat pengujian modul memeriksa hasilnya. entry menyebut modul uji untuk evaluasi. check dan eval bekerja pada modul awal tersebut beserta impornya; permintaan pembangkitan menentukan fungsi melalui top.

Dari penjumlah bertipe ke keluaran yang dihasilkan

Penjumlah dalam dokumentasi memakai masukan u8 dan nilai kembalian u8. Pengujiannya menjumlahkan u8:255 dan u8:1 serta mengharapkan u8:0. Ini contoh kecil yang berguna untuk ditinjau karena tipe pada sumber dan perilaku kembali ke awal rentang saat melampaui batas ditampilkan bersama. Perancang dapat membaca fungsi, memeriksa asersi, dan menjalankan pengujian modul sebagai bagian dari tugas sumber yang sama.

Untuk pembangkitan SystemVerilog dengan pipeline, contoh memilih add sebagai top dan memakai modul penjumlah sebagai entry. Konversi menghasilkan representasi perantara fungsi yang dipilih; optimasi menghasilkan artefak IR yang dioptimalkan; pembangkitan kode menghasilkan SystemVerilog beserta materi antarmuka, jadwal, dan signature. Memilih convert atau optimize memberi titik berhenti peninjauan pada tahap perantara.

Hasil codegen dengan pipeline itu mencakup module.sv, converted.ir, optimized.ir, interface.textproto, schedule.textproto, dan signature.textproto. Setiap artefak memuat teks, jumlah byte, dan SHA-256. Hasil juga mencatat proses alat, termasuk hash, argumen, kode keluar, dan keluarannya. Bersama-sama, bidang tersebut menghubungkan berkas yang dihasilkan dengan alat dan permintaan yang dipakai dalam eksekusi.

Permintaan pembangkitan upstream dapat memilih tahap pipeline atau memakai SystemVerilog kombinasional. Perlakukan ini sebagai pilihan struktur yang dihasilkan selama penelusuran sumber. Latihan peninjauan yang berguna adalah menyimpan DSLX bersama IR dan SystemVerilog yang dikembalikan, lalu memeriksa bagaimana fungsi yang dipilih tampil di berbagai tahap. Perbandingan itu merupakan kegiatan membaca yang dipimpin perancang dengan memakai artefak yang dihasilkan.

Hubungkan alat XLS MCP lokal yang terpisah

Alur XLS MCP lokal dimulai dengan bundel CLI Linux x86_64 yang telah diverifikasi. Pada pengaturan stdio klien yang kompatibel, atur perintah ke jalur absolut executable alti-mcp yang diinstal dan biarkan argumen kosong. Simpan alti-xls di samping alti-mcp dalam instalasi terverifikasi tersebut. Atur variabel lingkungan proses server ALTI_MCP_MODE ke local-xls, lalu hubungkan.

Segarkan daftar alat klien, lalu panggil altifigence.local.xls.capabilities dengan objek kosong, {}. Periksa kapabilitas mesin dan tanda terima eksekusi yang dikembalikan. Langkah ini menetapkan konteks mesin sebelum mengirim operasi sumber dari klien.

Kumpulan alat mencakup altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize, dan altifigence.local.xls.codegen. Alat tersebut menyediakan pemeriksaan kapabilitas, pemeriksaan sumber, evaluasi dengan vektor masukan, optimasi XLS IR, dan pembangkitan RTL. Eksekusi memakai mesin pendamping pada CPU.

Untuk operasi sumber, berikan input_kind berupa dslx atau xls-ir, sumber inline, serta nama fungsi teratas dalam top. Untuk eval, berikan pula vectors sebagai larik nilai string. Gaya permintaan ini sesuai untuk fungsi sumber yang dipilih secara eksplisit dan kumpulan masukan bertipe yang disiapkan untuk fungsi tersebut. Panggilan mesin yang berhasil mengembalikan engine dan receipt dalam structuredContent.

Pilih alur kerja untuk tugas sumber

Jalur upstream sesuai bagi perancang yang bekerja dengan modul DSLX, impor, dan pengujian modul serta menginginkan hasil dari rangkaian alat Google XLS terinstal dengan versi yang ditetapkan. Jalur MCP lokal sesuai bagi pengguna klien kompatibel yang mengirim operasi sumber inline dan vektor evaluasi ke mesin CPU native. Mulai dengan respons kapabilitas yang relevan, tentukan sumber, dan simpan hasil yang dikembalikan agar dapat diperiksa.

Untuk contoh penjumlah, simpan permintaan pengujian modul dan permintaan pembangkitan sebagai masukan peninjauan yang berbeda. Permintaan pengujian menyebut modul yang memuat asersi, sedangkan permintaan pembangkitan menyebut modul yang memuat fungsi terpilih. Membaca kedua permintaan bersama memperjelas sumber yang dievaluasi dan fungsi yang dikonversi menjadi RTL. Pertahankan pemetaan berkasnya bersama hasil agar modul yang diimpor dan entry tetap mudah dikenali.

Klien lokal menawarkan latihan sumber praktis lainnya: kirim fungsi kecil dengan tipe masukan yang jelas, periksa sumber, lalu evaluasi dengan vektor yang sudah disiapkan. Bandingkan nilai yang dikembalikan dengan harapan yang Anda tulis untuk masukan tersebut. Simpan hasil mesin dan tanda terima eksekusi bersama peninjauan itu. Ini menyediakan bahan untuk perbandingan sumber, nilai masukan, dan keluaran yang dipimpin pengguna, dengan setiap operasi dipilih secara eksplisit di klien.

Pelajari lebih lanjut

Ikuti panduan XLS upstream dengan versi yang ditetapkan untuk instalasi, pengujian modul, dan artefak SystemVerilog.

Gunakan panduan XLS MCP lokal untuk konfigurasi klien dan operasi sumber.

Baca panduan Altifigence CLI untuk alur instalasi Linux.

Kunjungi Altifigence Downloads untuk distribusi CLI dan unduhan produk.