Язык SystemC

Есть проблема: Существуют некие устройства типа тригеров, нужно помять какие библиотеки SystemC более всего подходят для описания работы устройста. Таких устроиств 3. Может кто-нить помочь или посоветуйте куда обратиться?
Пиво и т.п. с меня, дальше больше.

icq 169111833
pioho@rambler.ru