Xilinx在Xplorer技術的基礎上推出了更為強大的SmartXplorer技術，它不僅在提高時序性能和縮短運行時間上比Xplorer做得更好，而且支持將任務分配到不同的機器上并行執(zhí)行。目前SmartXplorer還只能通過命令行來操作，而且只支持Linux 32位和Linux 64位操作系統(tǒng)。SmartXplorer需要從Linux機器上啟動，我們把啟動SmartXplorer的機器稱為“Master machine”，Master machine會把不同策略的任務放在它可以訪問和使用的一系列其他遠程機器上面運行。當某個任務結束后，它就會分配其他任務到可以獲得的機器上運行，直到完成所有策略的運行任務。

在啟動SmartXplorer之前，用戶需要生成一個可用的機器列表(host list)，這個列表用來通知Master machine究竟有哪些遠程機器可供它運行任務。下面是一個host list的例子：

設計者可以用下面的命令啟動SmartXplorer：

如果機器列表文件(hostlist file)使用默認名稱“smartxplorer.hostlist”，則不必在啟動命令中使用 -1選項。

如果策略任務個數(shù)多于可用機器數(shù)目，SmartXplorer會保留一個策略任務等待隊列。一個任務完成之后下一個任務就會從隊列中分配給可用機器運行，直到某個任務滿足了時序目標，或者所有的任務運行結束。當某個策略任務滿足了時序目標，SmartXplorer會中止其他正在運行的任務并退出。如果設計者不希望這樣，可以在啟動命令中使用-rnm_all_strategies選項。

SmartXplorer會輸出并顯示一個狀態(tài)信列表，包括策略名稱、機器名稱、輸出設計名稱、狀態(tài)、時序評分（Timing Score），以及累計運行時間，如圖1所示。

圖1 SmartXplorer的輸出信息

如果運行過程中某個機器與Master machine失去聯(lián)系或者不能訪問，則Master machine會把這個機器從host list中刪除，并把相應的策略任務重新放回策略任務等待隊列中等待下臺空閑的機器出現(xiàn)。

按Ctrl＋C組合鍵會終止所有運行在遠程機器上的SmartXplorer任務并退出，SmartXplorer不支持用Ctrl＋C組合鍵暫時掛起PAR進程。

SmartXplorer會生成兩種格式的報告文件，一個是HTML格式的smartxplorer．html；另一個是文本格式的smartxplorer．rpt。圖2所示是一個smartxplorer.html的例子，在RunSummary部分會列出所有策略的運行結果，滿足時序的策略會用綠色背景顯示。如果所有的策略都沒有滿足時序目標，則會給出每個策略的時序評分(Timing Score)，時序評分最低的是最佳策略。

圖2 SmartXplorer的報告