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

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

設(shè)計者可以用下面的命令啟動SmartXplorer：

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

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

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

圖1 SmartXplorer的輸出信息

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

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

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

圖2 SmartXplorer的報告