PDA: un supporto hardware per un debugger interattivo e simbolico in un sistema multi-microprocessore