Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Arithmetic Circuit Verification Based on Symbolic Computer Algebra Pengesahan Litar Aritmetik Berdasarkan Algebra Komputer Simbolik

Yuki WATANABE, Naofumi HOMMA, Takafumi AOKI, Tatsuo HIGUCHI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kertas kerja ini membentangkan pendekatan formal untuk mengesahkan litar aritmetik menggunakan algebra komputer simbolik. Kaedah kami menerangkan litar aritmetik secara langsung dengan objek matematik peringkat tinggi berdasarkan sistem nombor berwajaran dan formula aritmetik. Penerangan litar sedemikian boleh disahkan dengan berkesan dengan teknik pengurangan polinomial menggunakan Pangkalan Grobner. Dalam makalah ini, kami menerangkan bagaimana algebra komputer simbolik boleh digunakan untuk menerangkan dan mengesahkan litar aritmetik. Kesan berfaedah pendekatan yang dicadangkan ditunjukkan melalui pengesahan eksperimen beberapa litar aritmetik seperti penumpuk darab dan penapis FIR. Hasilnya menunjukkan bahawa pendekatan yang dicadangkan mempunyai kemungkinan yang pasti untuk mengesahkan litar aritmetik praktikal.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E91-A No.10 pp.3038-3046
Tarikh penerbitan
2008/10/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1093/ietfec/e91-a.10.3038
Jenis Manuskrip
PAPER
kategori
Teknologi Reka Bentuk VLSI dan CAD

Pengarang

Kata kunci

Contents [show]