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

　　

【正文】 個建模平臺在他們的網(wǎng)址里免費下載。他們也希望他們的平臺能成為實際的標準。 據(jù) synopsys 公司總經(jīng)理兼系統(tǒng)級設(shè)計商業(yè)部副總裁 Joachim kunkel 說，發(fā)展 system c 的合理性是顯而易見的。 它將是一種標準語言使半導(dǎo)體供應(yīng)商， IP 供應(yīng)商和系統(tǒng)房屋可交換系統(tǒng)級 IP和可執(zhí)行規(guī)格，并且電子設(shè)計自動化工業(yè)能夠發(fā)明一種編寫互用性的工具。 system c 的支持者們堅信未來的標準將建立在 C++之上因為它允許不放棄語言標準增加新的功能。 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)栽嚹恳源Ｗ畈焕慕Y(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)場可編程門陣列門譯成 202000ASIC 門。將九個這樣的芯片以 3 3 陣列放置在板上，設(shè)計者可以描述高達 百萬的ASIC 門。而且運行耽擱將被大大縮短，因為每一個芯片距離陣列中其它任何一個芯片都不超過兩級。 Gallagher 解釋說“公司的產(chǎn)品被稱為 certify，它并非以與可重構(gòu)的仿真系統(tǒng)競爭為最初目的。并且仿真系統(tǒng)在內(nèi)部設(shè)計過程中對設(shè)計調(diào)試非常有效?！比欢?，它卻真的是系統(tǒng)的藍本，高速運行可能使目標 更真實。 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ù)的流程圖。）它使每一次放置移動在時間和邏輯上達到最優(yōu)化。 對于位于加州 cupertino 的正在開發(fā) Blast Fusion結(jié)構(gòu)設(shè)計系統(tǒng)的 Magma 設(shè)計自動化公司來說，時序收斂是重中之重。它以定時標記為方法，給時序特定的限制，使其不再在合成與結(jié)構(gòu)設(shè)計之間重復(fù)?；旧险f，這種方法首先確定時序，然后調(diào)整信元大小以滿足時間的需要。改變信元大小使得工具能為負荷提供適當(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 標準是由位于德州 Austin 的電子設(shè)計自動化標準組織SI2 開發(fā)的。 的產(chǎn)品是基于 ECIX 標準和 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)品，可以完成對計算機桌面的遠程共享）。 基于網(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 美元。