Option 文件（也就是 *.option）文件是 license 管理员管理 license 的文件。
具体的说，一个 option 文件可以实现以下目的：
– 设置用户或者组来使用具体的 feature
– 限制用户使用 feature
– 将 license 保留给用户
– 限制某些服务器来访问 license
– License Feature 的借用
– 其他一些功能
访问未授权的 license 或者 feature，通常会在 License manger 的日志文件中显示”INSUPPORTED“信息。
使用
要使用 option 文件，你需要先在 license 服务器上的 license 文件中指明 option 文件。也就是需要修改 DAEMON 行，比如：
DAEMON snpslmd /lic/snpslmd
在这行的最后添加”option=“的标签，比如：
DAEMON snpslmd /lic/snpslmd options=/lic/syn.option
Option 文件必须重启 license 才可以读取！
在 option 文件中可以实现很多功能，以下是一个简单的概述：
INCLUDE – 将某一 feature 开放给用户
INCLUDEALL – 将所有的 feature 开放给用户
EXCLUDE – 限制用户使用某一 feature
EXCLUDEALL – 限制用户使用所有的 feature
RESERVE – 把 feature 保留给用户
MAX – 对某一组设置使用 feature 的最多人数
GROUP – 设置一个用户组
HOST_GROUP – 设置一个计算机组
GROUPCASEINSENSITIVE ON – 当有 GROUP 和 HOST_GROUP 时，设置大小写敏感
TIMEOUT verdi 14400 – 设置空闲时间。（如果 EDA 软件空闲时间到达 4 小时，自动将 license 归还给服务器）
当你需要对一个用户或者主机做约束。除非设置了 INCLUDEALL 或者 EXCLUDEALL 选项，option 文件只对单个 feature 起作用。
比如，你想要把 verdi 分配给一组用户，可以做如下设置：
GROUP verdi_users user1 user2 user3 user4 user5
INCLUDE verdi GROUP verdi_users
在这个例子中，GROUP 包含了用户：user1, user2, user3 等。只有 verdi_users 这个组的成员可以使用 verdi。
如果你希望把 verdi 分配给一组服务器，可以做以下设置：
HOST_GROUP verdi_servers server1 server2 server3
INCLUDE verdi HOST_GROUP verdi_servers
HOST_GROUP 包含了服务器：server1, server2, server3。只有这些服务器可以使用 verdi。
Option 文件也可以设置 IP 地址（或者 IP 段），例如：
INCLUDE verdi INTERNET 192.168.1.1
或者
INCLUDE verdi INTERNET 192.168.*.*
表明以 192.168 开头的 IP 段服务器可以使用 verdi。