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

Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath Menyemak Kesetaraan Aras Perkataan dalam Ketepatan Tahap Bit dengan Mensintesis Reka Bentuk pada Laluan Data Yang Sama

Tasuku NISHIHARA, Takeshi MATSUMOTO, Masahiro FUJITA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Semakan kesetaraan ialah salah satu isu terpenting dalam reka bentuk VLSI untuk menjamin bahawa pepijat tidak memasuki reka bentuk semasa langkah pengoptimuman atau langkah sintesis. Dalam makalah ini, kami mencadangkan kaedah semakan kesetaraan peringkat perkataan baharu antara dua model sebelum dan selepas sintesis peringkat tinggi atau pengoptimuman tingkah laku. Kaedah kami menukarkan dua reka bentuk yang diberikan kepada model RTL yang mempunyai laluan data yang sama supaya gelagat oleh isyarat kawalan yang sama menjadi sama dalam kedua-dua reka bentuk. Selain itu, unit berfungsi menjadi biasa kepada kedua-dua reka bentuk. Kemudian teknik semakan kesetaraan peringkat perkataan boleh digunakan dalam ketepatan tahap bit. Selain itu, kami mencadangkan kaedah semakan kesetaraan berasaskan peraturan yang boleh mengesahkan reka bentuk yang mempunyai struktur kawalan yang rumit lebih cepat daripada kaedah berasaskan simulasi simbolik sedia ada. Keputusan eksperimen dengan contoh realistik menunjukkan bahawa kaedah kami boleh mengesahkan reka bentuk sedemikian dalam tempoh praktikal.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E92-D No.5 pp.972-984
Tarikh penerbitan
2009/05/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E92.D.972
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approach)
kategori
Pengesahan Perkakasan

Pengarang

Kata kunci

Contents [show]