The IP Certification Matrix posted provides details on the devices that are certified. You can also run:
./dmctl -s <DM_NAME> get ICF_TopologyManager::ICF-TopologyManager| grep <Sys_OID> .1.3.6.1.4.1.9.1.947.2.2 ./dmctl -s <DM_NAME> get ICF_TopologyManager::ICF-TopologyManager| grep .1.3.6.1.4.1.9.1.947.2.2
where .1.3.6.1.4.1.9.1.947.2.2 is the SystemOID.
If the command does not return a result, then device is not certified.
