Scoreboard dan invarian

Pisahkan dua acuan

Gunakan acuan matematis langsung untuk menghitung jumlah lebar dengan perulangan i/j/k independen. Gunakan model pewaktuan terpisah untuk menggerakkan A ke kanan dan B ke bawah. Menyalin fungsi bantu pengindeksan RTL ke model acuan berisiko mereproduksi bug yang sama. Mulai dengan contoh tetap yang dihitung manual, lalu perluas ke masukan acak yang dapat direproduksi.

Gunakan job dan koordinat keluaran global sebagai kunci scoreboard hasil. Bandingkan setiap nilai yang diterima dan tandai kuncinya sebagai telah diterima. Kunci berulang adalah duplikat, kunci tak terduga adalah kesalahan alamat, dan kunci yang diharapkan tetapi belum diterima berarti hilang. Hasil nol tetap memerlukan pengiriman. Koordinat padding di luar rentang tidak boleh pernah disimpan.

Periksa invarian di dalam larik

Setiap PE harus mengonsumsi tepat [0,1,...,K−1]. Operand valid yang cocok harus memiliki tag job dan k sama. Count tetap antara nol dan K. Tepi berjeda menahan operand, valid, tag, akumulator, dan count. Clear meninggalkan count dan akumulator nol tanpa token valid. Hasil yang terblokir menahan data dan job sementara valid tetap aktif.

Untuk contoh 2×2, PE terakhir berisi delapan belas setelah E2 dan lima puluh setelah E3. Bug global-done pada E2 seharusnya gagal dalam pemeriksaan numerik maupun pewaktuan. Sebaliknya, hasil perkalian bernilai sama yang diduplikasi dan dihilangkan dapat mempertahankan jumlah akhir; pelacakan suku mendeteksi kebetulan itu.

Simpan seed acak, matriks, dimensi, lebar, dan posisi jeda. Catat PE, suku, dan tepi fisik pertama yang tidak cocok. Kesalahan tag yang disengaja harus gagal secara terlihat, bukan diam-diam menghilang.

Amati keadaan setelah E_t secara konsisten. Eksekusi acuan Node, kompilasi RTL, simulasi RTL, sintesis, penutupan pewaktuan, eksekusi proyek DDS, dan pengujian papan membuktikan fakta berbeda. Program Node yang disediakan memvalidasi model aritmetika dan jadwal. Pengujian RTL berikutnya dapat menggunakan kembali fixture, tetapi harus menyimpan versi alat, perintah, dan log tersendiri.