Hardware software co verification tools on Embedded LINUX

  Hi all,

  Happy new year to all !

  I want to know if any body has used any of the HW/SW co verification tools
on embedded linux and if so what is that ? and from where ?. Most of the
tools are available in Solaris or HP unix and some are still being ported to
LINUX. SO if any one has used any of the HW/SW co verification tools please
let me know.

    Thanks in advance !!

  - Meenakshi

** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/