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

　　

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