Multithreading-based coverification of HW/SW systems (1999)

by M Azizi, E-M Aboulhamid, S Tahar
Venue:proceedings of the international conference of Parallel and Distributed Processing Techniques and Applications (PDPTA’99), Las Vegas