在使用PI-SMT建立计算点的时候，在exdesc属性列写入公式。

公式中，点名要用单引号引起来，

关键字和关键字之间、点名和关键字之间都要用空格分隔，不要有换行符，

否侧不认，会出现SCAN OFF错误。

————————————————
版权声明：本文为CSDN博主「baiyang0475」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/baiyang0475/article/details/5580405