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

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

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

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

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

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

　　圖1 SmartXplorer的輸出信息

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

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

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

　　圖2 SmartXplorer的