liberate数字标准单元库特征化

请问数字标准单元库中，时序库.lib中单元里面的功能function是怎么出来的，在下想将Muller C 单元做出来，结果出来的功能是“！A+！B”，郁闷了，其他的数据也都有，确实C单元比较独特，不同于一般的组合逻辑单元（有个保持的功能），请教大神，这个怎么解决。

真值表

直接在 .inst文件中使用add_functuon添加啊

多谢指导，现在在研究源极耦合逻辑单元的特征化，请问如何在liberate中添加电流偏置呢，或者说怎么带上偏置电路（只有带上偏置才能正常工作）进行特征化，但是生成的库中的数据只包含该单元的时序功耗信息，而不包含偏置电路。

多谢指导，上面的问题已经解决了。现在在研究源极耦合逻辑单元的特征化，请问如何在liberate中添加电流偏置呢，或者说怎么带上偏置电路（只有带上偏置才能正常工作）进行特征化，但是生成的库中的数据只包含该单元的时序功耗信息，而不包含偏置电路。

thank you