Efficient debugging in a formal verification environment

Fady Copty1, Amitai Irron1, Osnat Weissberg1, Nathan P. Kropp2, Gila Kamhi1
1Logic and Validation Technology, Intel Corporation, Haifa, Israel
2Microprocessor Group, Intel Corporation, USA, , US

Tóm tắt

Từ khóa


Tài liệu tham khảo