关于formality读lib为blackbox的问题

请问大牛们，为什么formality读lib的时候，会自动将PAD，LIB，PHY，MEM等这些库文件设置为black-box?
另外，formality是如何知道需要将这些设为blackbox的?

这些没有逻辑，或者逻辑不能被识别，FM这样处理没有问题的

即 function 认不出来的 模块，

一般lib里面会定义该cell为blackbox的，还有的虽然没有定义，但是lib里面没有给出cell的function，工具会自动认定其为blackbox

也来问下，其实对于IO这类，特别是输入输出IO，它们从PAD到C（不同的IO名不一样，可能会有差别），以及从Y到PAD，其实是有function描述的，为什么还认为这类cell为blackbox呢?