SmartXplorer技术

Xilinx在Xplorer技术的基础上推出了更为强大的SmartXplorer技术，它不仅在提高时序性能和缩短运行时间上比Xplorer做得更好，而且支持将任务分配到不同的机器上并行执行。目前SmartXplorer还只能通过命令行来操作，而且只支持Linux 32位和Linux 64位操作系统。SmartXplorer需要从Linux机器上启动，我们把启动SmartXplorer的机器称为“Master machine”，Master machine会把不同策略的任务放在它可以访问和使用的一系列其他远程机器上面运行。当某个任务结束后，它就会分配其他任务到可以获得的机器上运行，直到完成所有策略的运行任务。

在启动SmartXplorer之前，用户需要生成一个可用的机器列表(host list)，这个列表用来通知Master machine究竟有哪些远程机器可供它运行任务。下面是一个host list的例子：

设计者可以用下面的命令启动SmartXplorer：

如果机器列表文件(hostlist file)使用默认名称“smartxplorer.hostlist”，则不必在启动命令中使用 -1选项。

如果策略任务个数多于可用机器数目，SmartXplorer会保留一个策略任务等待队列。一个任务完成之后下一个任务就会从队列中分配给可用机器运行，直到某个任务满足了时序目标，或者所有的任务运行结束。当某个策略任务满足了时序目标，SmartXplorer会中止其他正在运行的任务并退出。如果设计者不希望这样，可以在启动命令中使用-rnm_all_strategies选项。

SmartXplorer会输出并显示一个状态信列表，包括策略名称、机器名称、输出设计名称、状态、时序评分（Timing Score），以及累计运行时间，如图1所示。

图1 SmartXplorer的输出信息

如果运行过程中某个机器与Master machine失去联系或者不能访问，则Master machine会把这个机器从host list中删除，并把相应的策略任务重新放回策略任务等待队列中等待下台空闲的机器出现。

按Ctrl＋C组合键会终止所有运行在远程机器上的SmartXplorer任务并退出，SmartXplorer不支持用Ctrl＋C组合键暂时挂起PAR进程。

SmartXplorer会生成两种格式的报告文件，一个是HTML格式的smartxplorer．html；另一个是文本格式的smartxplorer．rpt。图2所示是一个smartxplorer.html的例子，在RunSummary部分会列出所有策略的运行结果，满足时序的策略会用绿色背景显示。如果所有的策略都没有满足时序目标，则会给出每个策略的时序评分(Timing Score)，时序评分最低的是最佳策略。

图2 SmartXplorer的报告