它还提供了一些功能，可用来管理各种可选配置、实现可重用库的细节以及让用户以自定义宏将过程参数化。
It also provides features to manage alternate configurations, implement reusable libraries of specifications, and parameterize processes with user-defined macros.
它还提供了一些功能，可用来管理各种可选配置、实现可重用库的细节以及让用户以自定义宏将过程参数化。
It also provides features to manage alternate configurations, implement reusable libraries of specifications, and parameterize processes with user-defined macros.
应用推荐