Thanks for responding! The part number on all three boards is 184021F-01. We've found that the DDK does support boards with both device ID's: 0xC801 and 0xC831 (and probably other device IDs). The only trouble is in nipci_hw.h (in the DDK) there is a PCI_NI_DEVICE_ID #define that must match the actual device ID of the GPIB board that you are using. We're trying to run the same software on all three setups and avoid having to recompile our software for the third setup just to change that device ID constant. I'm hoping we can just change the device ID and be able to avoid the recompile.
The only other number on the board, which I'm assuming is the serial number is: 10F2C4C. As far as obtaining the serial number via the DDK, I'm sure there's a way, but I have not been able to delve into the DDK that deep yet - another engineer actually did most of the DDK work for us. And, unfortunately we don't have the capability to run the GPIB board under Windows - it's in a VME chassis running VxWorks right now. So I guess that eliminates the possibilty of changing the device ID, but I'm still interested as to why the device ID is different on cards with the same part number? Shouldn't a card with that part number (184021F-01) have a device ID of 0xC831?