An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences - Tập E88-A Số 12 - Trang 3315-3323 - 2005
Takeshi Matsumoto1, Hiroshi Saito2, Masahiro Fujita3
1The author is with the Department of Electronics Engineering, The University of Tokyo, Tokyo, 113-8656 Japan. E-mail: [email protected],#TAB#
2The author is with the Department of Computer Hardware, The University of Aizu, Aizu-Wakamatsu-shi, 965-8580 Japan. E-mail: [email protected],
3The author is with VLSI Design and Education Center, The University of Tokyo, Tokyo, 113-0032 Japan. E-mail: [email protected]

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Tập E88-A Số 12

3315-3323

Thông tin tác giả