64-битный драйвер под PCI device, win32 Опции

[RKOB]

Уважаемые специалисты!
У меня возникла проблема: в ПЛИС реализвал PCI устройство, которое поддерживает PCI33/66/32/64 - все режимы. Убедился, что оно работает как 32-битное устройство (с помощью своей же программки и драйвера), но вот проверить работу в 64-битном режиме не могу, точнее не умею!
Кто-нибудь пробовал писать 64-битный драйвер под win32 или программку, которая обращается к устройству 64-битными данными???
Буду очень благодарен....