【導(dǎo)讀】goal.PARLEZ-VOUSSUPERLOG?Inc.,SanJose,Calif.C,C++,Java,andVerilog.calledSuperlog.

　　

【正文】 在他們的網(wǎng)址里免費下載。他們也希望他們的平臺能成為實際的標(biāo)準(zhǔn)。 據(jù) synopsys 公司總經(jīng)理兼系統(tǒng)級設(shè)計商業(yè)部副總裁 Joachim kunkel 說，發(fā)展 system c 的合理性是顯而易見的。它將是一種標(biāo)準(zhǔn)語言使半導(dǎo)體供應(yīng)商， IP 供應(yīng)商和系統(tǒng)房屋可交換系統(tǒng)級 IP和可執(zhí)行規(guī)格，并且電子設(shè)計自動化工業(yè)能夠發(fā)明一種編寫互用性的工具。 system c 的支持者們堅信未來的標(biāo)準(zhǔn)將建立在 C++之上因為 它允許不放棄語言標(biāo)準(zhǔn)增加新的功能。 kunkel告訴 IEEE spectrum說大部分軟件開發(fā)者用 C++且系統(tǒng)開發(fā)者已經(jīng)運用 C++在行為級上描述他們的系統(tǒng)。但是現(xiàn)在仍然不可能用這個語言描述硬件。 通過確定新的 C++類庫和模擬型芯， system C 的開發(fā)者已解決了上述問題 ，使得 C++擁有了所有的所需的描述硬件的功能。對此， KUNKEL 解釋說：“這些新的類實現(xiàn)了新的性能。例如，位向量 0 和 1 的字符串，和所有的在其上將實行的操作?！?system C 的開發(fā)者們也提供了一類有符號的數(shù)據(jù)類型和無符號的數(shù)據(jù)類型，另外還有一種信號的概念和仿制硬件所需的其他概念。 然而，問題依然存在。例如，從一個 system C 描述上仍舊不能生成一個門級的網(wǎng)表文件。但據(jù) KUNEL說， system C 的合成工具將在用戶群體中得出一個語言上被廣泛接受的自然結(jié)果。 system C 和 Superlog 哪一個將取得 最終勝利我們?nèi)栽嚹恳源?。最不利的結(jié)果將是像 verilog 和 VHDL 之間那樣的僵局，兩者都很盛行，導(dǎo)致電子設(shè)計自動化的商販們支持兩種技術(shù)而浪費雙重的精力。 檢驗噩夢 如果說當(dāng)今復(fù)雜的集成電路設(shè)計起來很困難，那么檢驗起來就更加困難。每一種可使用的工具都有其缺點和優(yōu)勢。仿真技術(shù)可將一個設(shè)計譯成現(xiàn)場可編程門陣列。據(jù)推測，如果這個陣列按計劃工作，則最終芯片也將工作。這個仿真平臺也能使設(shè)計者們嘗試運用軟件而運行 ASIC 碼。 然而走勢很緩慢。典型仿真系統(tǒng)運行幾兆赫。加利福尼亞州Sunnyvale 的市場部經(jīng)理 John Gallagher 說“每秒鐘大約運行一百萬圈，設(shè)計者們不能從他們的仿真系統(tǒng)中有足夠的操作去檢驗或理解一些東西，這些東西將靠新一代視頻技術(shù)或?qū)掝l帶的通信技術(shù)運行?！?John 補充說“他們必須完成大量的操作以確保功能的正確性”。 據(jù) Gallagher 說仿真系統(tǒng)之所以運行緩慢是由于要使設(shè)計按部就班的運行需要通過許多現(xiàn)場可編程門陣列和許多板。synplicity公司的解決方法是 用一些高端的現(xiàn)場可編程門陣列。這些現(xiàn)場可編程門陣列以 100 兆赫運行，擁有超過一百萬門。通常，一百萬現(xiàn)場可編程門陣列門譯成 20xx00ASIC 門。將九個這樣的芯片以 3 3 陣列放置在板上，設(shè)計者可以描述高達(dá) 百萬的ASIC 門。而且運行耽擱將被大大縮短，因為每一個芯片距離陣列中其它任何一個芯片都不超過兩級。 Gallagher 解釋說“公司的產(chǎn)品被稱為 certify，它并非以與可重構(gòu)的仿真系統(tǒng)競爭為最初目的。并且仿真系統(tǒng)在內(nèi)部設(shè)計過程中對設(shè)計調(diào)試非常有效?！比欢?，它卻真的是系統(tǒng)的藍(lán)本，高速運行可能使目標(biāo) 更真實。 Gallagher 說 certify 處理三個基本的操作。第一是分開或打破ASIC 寄存器傳送級編碼，使之成為不同的現(xiàn)場可編程門陣列。之后將寄存器傳送級編碼合成為 ASIC 門，也就是最終合成為ASIC 門。此時做時間分析。他解釋說“我們并非只是單純地將兩種不同的工具結(jié)合在一起。我們運用我們合成的算法，使分開的功能相互融合并且將時間分析貫穿于其中?！? 除仿真之外，兩種補充的設(shè)計檢驗方法是模擬和一種正規(guī)的檢驗類型 模型檢驗。模擬是在一種設(shè)計和檢驗的軟件模型上應(yīng)用向量，查看輸出是否有正確的值。方 法很直接，但是當(dāng)設(shè)計越來越多，可能檢驗的數(shù)字向量越來越快速的擴散時，這種方法使用會越來越困難。因此最近電子設(shè)計自動化公司已經(jīng)運用模型檢驗法去驗證設(shè)計是否正確。 模型檢驗的癥結(jié)是使用上的巨大困難。加州圣荷西 innologic系統(tǒng)公司操作部經(jīng)理 simon napper 說“并非大多數(shù)工程師能夠使用它。使用模型非常困難，它為了檢驗性能，但設(shè)計者習(xí)慣于模擬和靜態(tài)時序，并不熟悉什么是性能?！? 為了補救， innologic 公司開發(fā)了一種象征性的模擬工具。這種模擬工具結(jié)合了模擬和正規(guī)的檢驗。這是一個 verilog模 擬裝置除了沒有通過邏輯發(fā)送 1 和 0，這種工具傳送符號或帶有二進制數(shù)值的符號。用戶獲得改善的功能保證和更高速的檢驗。為了說明和完全檢驗一個四位微機芯片的加法器，需要 256 個二元向量，運行 256 個模擬周期。而使用符號只運行一個周期。 象征性模擬能完全檢驗的電路，僅使用正規(guī)檢驗的話對其復(fù)雜性有限制。兩者都在乘數(shù)上有問題?！袄缫粋€模擬檢驗器將不停的旋轉(zhuǎn)運行但從不產(chǎn)生一個結(jié)果?！?napper 解釋說“但是在我們的工具中我們采取一些符號輸入并且將它們轉(zhuǎn)變?yōu)槎M制數(shù)值。這樣從一個 32 位降至 16 位的乘數(shù)。并且我們告訴使用者我 們可以檢驗超過 16 的運算對象。” innologic 公司已經(jīng)發(fā)行了兩個版本的象征性模擬。 ESPXV檢驗以 verilog寫成的設(shè)計。 EXPCV則意在用戶定制設(shè)計和存儲塊。 時間恰好 盡管幾何上在 微米以下，運用半導(dǎo)體的集成電路的設(shè)計通過開發(fā)面臨挑戰(zhàn)，但是大的困難一部分發(fā)生在結(jié)構(gòu)設(shè)計上。當(dāng)門被放置到芯片上時，連接體在它們之間運行。問題發(fā)生在這里，由于一些原因。首先，連接體的電容，電阻和感應(yīng)系數(shù)不能被忽視。盡管它們屬于更古老更巨大的技術(shù)。由于在一起更為緊密，必須控制連接體之間的串?dāng)_。如果最終能夠完成的話 ，一些通過合成和替代產(chǎn)生的循環(huán)重復(fù)可能對于實現(xiàn)所需時序是必要的。 由加州 Sunnyvale 的 monterey設(shè)計系統(tǒng)公司提出的方案稱為全球設(shè)計技術(shù)。這種專利的計算方法對結(jié)構(gòu)設(shè)計的所有方面有開發(fā)分析和改善的效果。第一個包含這項技術(shù)的產(chǎn)品是去年四月生產(chǎn)的 Dolphin。 Dolphin運用分析結(jié)果維持所有種類的系統(tǒng)規(guī)定參數(shù)以便同時放置和運行每一個門和復(fù)振器。（多數(shù)放置和運行工具按順序分析每一種系統(tǒng)規(guī)定參數(shù)的流程圖。）它使每一次放置移動在時間和邏輯上達(dá)到最優(yōu)化。 對于位于加州 cupertino 的正在開發(fā) Blast Fusion 結(jié)構(gòu)設(shè)計系統(tǒng)的 Magma 設(shè)計自動化公司來說，時序收斂是重中之重。它以定時標(biāo)記為方法，給時序特定的限制，使其不再在合成與結(jié)構(gòu)設(shè)計之間重復(fù)。基本上說，這種方法首先確定時序，然后調(diào)整信元大小以滿足時間的需要。改變信元大小使得工具能為負(fù)荷提供適當(dāng)?shù)尿?qū)動強度。 網(wǎng)絡(luò)上的電子設(shè)計自動化 當(dāng)已經(jīng)成立的電子設(shè)計自動化公司正在努力解決如何在生產(chǎn)線中利用網(wǎng)絡(luò)這個問題時，一些更小更靈敏的公司和一些剛剛起步的公司則致力于創(chuàng)新產(chǎn)品和服務(wù)上，主要在設(shè)計管理領(lǐng)域創(chuàng)新。synchronicity 公司是這個領(lǐng)域的一個開拓 者。該公司是一個虛擬企業(yè)，總部設(shè)在馬薩諸塞州的萬寶路。 synchronicity現(xiàn)以被其他公司聯(lián)合尋求使用網(wǎng)絡(luò)的優(yōu)勢。 關(guān)注加州 Milpitas 的 是對有用信息的提取，從提供者的網(wǎng)址上我們可以看到關(guān)于集成電路，芯片和電路板的信息。 據(jù)公司總裁 Michael Bitzko 說，問題是基于這些部件的產(chǎn)品的設(shè)計者們需要能夠迅速獲得他們的信息并且盡快將其運行在他們的設(shè)計工程，生產(chǎn)和采購中。他說“簡而言之，人們過去用幾周的時間去得到數(shù)據(jù)單表。而現(xiàn)在可以輕易由網(wǎng)絡(luò)文件和 PDF 格式的文件獲 得。但是為了創(chuàng)造圖表式的符號和覆蓋區(qū)為覆蓋電路板， PDF 文件中的信息必須頻繁重新輸入，這是一項耗資巨大且非常浪費時間的過程，而且時間對于市場來說非常重要。 ECIX 標(biāo)準(zhǔn)是由位于德州 Austin 的電子設(shè)計自動化標(biāo)準(zhǔn)組織SI2 開發(fā)的。 的產(chǎn)品是基于 ECIX 標(biāo)準(zhǔn)和 XML 的。這樣就使得基于網(wǎng)絡(luò)的文件比傳統(tǒng)的 HTML有更多的功能。公司的產(chǎn)品包括 quickdata 服務(wù)器和 quickdata 轉(zhuǎn)換器。 quickdata 服務(wù)器是為查找電子部件信息的參數(shù)查詢引擎，而 quickdata 轉(zhuǎn)換器則是將包含在 PDF 數(shù)據(jù)表中的信息轉(zhuǎn)換成可用的格式。 俄勒岡波特蘭市的 genedax 公司的任務(wù)便是運用網(wǎng)絡(luò)增強設(shè)計者的能力，以創(chuàng)造和管理大型而復(fù)雜的設(shè)計，提高設(shè)計的再利用率，拓寬智力性能的途徑。該公司計劃在今年第一季度上市一個產(chǎn)品。市場營銷部副部長 John ott 告訴 spectrum 報說該產(chǎn)品基于華盛頓 Redmond 的微軟公司開發(fā)的操作系統(tǒng)和瀏覽器。 另外該公司贊助了一個合作網(wǎng)站 ，旨在展示這項技術(shù)的用途。這個網(wǎng)站包含一個建立在 AltaVista 技術(shù)上的搜索引擎，可以搜索與設(shè)計自動化相 關(guān)的各公司網(wǎng)址。 ott 進一步闡述說”我們還有一個免費的網(wǎng)絡(luò)定位服務(wù)器，在此人們運用meeting 和一個網(wǎng)絡(luò)板可以提出問題并找到解決答案。（ meeting 是一項微軟產(chǎn)品，可以完成對計算機桌面的遠(yuǎn)程共享）。 基于網(wǎng)絡(luò)的電子設(shè)計的其他方面從事起來要比設(shè)計和信息管理方面進展緩慢。不過也坐落在俄勒岡波特蘭市的 transim 公司已經(jīng)在基于網(wǎng)絡(luò)的設(shè)計工具上跨越了一大步。該公司的產(chǎn)品 websim是一個網(wǎng)絡(luò)瀏覽器和仿真器的接口程序。仿真器則是公司的能源供應(yīng)模擬裝置。 websim 允許設(shè)計者使用仿真器在網(wǎng)絡(luò)上 模擬設(shè)計。因此據(jù) transim 公司首席執(zhí)行官兼總裁解釋說，設(shè)計者門能夠看到實際的波狀圖而非字斟句酌的研究數(shù)據(jù)表和一大堆的數(shù)值。 transim 公司和供應(yīng)商合作建立部件模型，這樣設(shè)計者門可以注冊供應(yīng)商的網(wǎng)站選擇他們電源供應(yīng)所需的零部件，進入組建或測試環(huán)境，在線運行仿真器。用戶只需要一個網(wǎng)絡(luò)瀏覽器，其余均不需要。仿真器在 transim 公司的六個服務(wù)器中的大農(nóng)場中運行，其中六個服務(wù)器由 sun microsystems 公司提供。 該公司已經(jīng)同加州圣克拉拉的 semiconductor 公司建立團隊合作關(guān) 系，以為全球消費者提供此項服務(wù)?；ㄙM極小，每個用戶低至 10 美元。