Multiprocessor system verification through behavioral modeling and simulation

التفاصيل البيبلوغرافية
العنوان:	Multiprocessor system verification through behavioral modeling and simulation
المؤلفون:	Raghavan, R., Kreulen, J., O'Krafka, B., Salamian, S., Saha, A., Malik, N.
المصدر:	Proceedings International Phoenix Conference on Computers and Communications Computers and communications Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on. :396-402 1995
Relation:	Proceedings International Phoenix Conference on Computers and Communications
قاعدة البيانات:	IEEE Xplore Digital Library

الوصف
ردمك:	0780324927 9780780324923
DOI:	10.1109/PCCC.1995.472462