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

Formal Verification of Data-Path Circuits Based on Symbolic Simulation Pengesahan Formal Litar Laluan Data Berdasarkan Simulasi Simbolik

Yoshifumi MORIHIRO, Tomohiro YONEDA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kertas kerja ini membentangkan kaedah pengesahan formal berdasarkan simulasi logik. Dalam kaedah kami, beberapa kelas litar terhad yang termasuk laluan data boleh disahkan tanpa pengabstrakan laluan data dengan menggunakan nilai simbolik. Pengesah kami mengekstrak perhubungan peralihan daripada graf keadaan (diberikan sebagai spesifikasi) yang dinyatakan menggunakan nilai simbolik dan mengesahkan berdasarkan simulasi menggunakan nilai simbolik tersebut jika litar berkelakuan betul berkenaan dengan setiap peralihan spesifikasi. Jika pengesah ditamatkan dengan "betul", maka ia boleh dijamin bahawa untuk sebarang jujukan vektor input yang berkenaan, litar dan spesifikasi berkelakuan sama. Kami telah melaksanakan kaedah yang dicadangkan pada stesen kerja Unix dan mengesahkan beberapa litar FIFO dan LIFO dengan menggunakannya.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E85-D No.6 pp.965-974
Tarikh penerbitan
2002/06/01
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
PAPER
kategori
Toleransi Kesalahan

Pengarang

Kata kunci

Contents [show]