如何使用ST25R3920读取NFC标签？

我们正在尝试使用我们的定制板读取 NFC 标签，其中包括 ST25R3920 和 S32K116 主机 MCU。我们尝试读取的标签很可能是信用卡、身份证等。对于我们的用例，仅存在信息就足够了。我们的项目不一定需要标签信息。
我对 NFC 环境没有先验知识，现在已经研究了几周了。我尝试通过为我们的 MCU 修改 platform.h 来使用 ST25NFC 嵌入式库的示例项目，但我没有成功。我被告知我应该使用这个库，因为从 stratch 开始并试图自己处理所有事情将是一个混乱和漫长的过程。
我想问的是，是否有应用笔记，软件开发用户指南等文档来使用ST25R3920读取NFC标签？因为我只能找到有关唤醒模式和数据表的文档。
尝试将 ST25NFC 嵌入式库与非 STM 的 MCU 一起使用是一种好的做法吗？修改platform.h时是否必须将整个库与我们使用的MCU SDK合并？如果是这样，我怎样才能做到这一点，是否有一个例子，其中包括修改后的 platform.h 和其他 MCU 和平台的库？