Hardware/Software Co-Design and Co-Verification innbundetEngelsk, 1996