Hardware/software co-design and co-verification - Bergé, Jean-Michel; Levia, Oz; Rouillard, Jacques (Current issues in electronic modeling, 1997)