【正文】 websim 允許設計者使用仿真器在網(wǎng)絡上 模擬設計。 ECIX 標準是由位于德州 Austin 的電子設計自動化標準組織SI2 開發(fā)的。 Dolphin運用分析結果維持所有種類的系統(tǒng)規(guī)定參數(shù)以便同時放置和運行每一個門和復振器?！?napper 解釋說“但是在我們的工具中我們采取一些符號輸入并且將它們轉變?yōu)槎M制數(shù)值。” 除仿真之外，兩種補充的設計檢驗方法是模擬和一種正規(guī)的檢驗類型 模型檢驗?！?John 補充說“他們必須完成大量的操作以確保功能的正確性”。對此， KUNKEL 解釋說：“這些新的類實現(xiàn)了新的性能。 davidmann 說這門語言推廣到公共領域使用是非常重要的。這種不同語言的使用給描述，仿制，調(diào)試集成電路的線路和軟件的條理清晰方面都帶來了很大的不便。 design automation, is the extraction of useful information about ICs, chip sets, and boards from suppliers39。VHDL language。首先就是缺乏一些東西即設計的硬件部件與軟件部件之間缺少統(tǒng)一的語言。 davidmann 說一種設計語言必須滿足三個需求。 沖向終點的比賽 并不是每一個 人都相信我們需要新的語言。但據(jù) KUNEL說， system C 的合成工具將在用戶群體中得出一個語言上被廣泛接受的自然結果。將九個這樣的芯片以 3 3 陣列放置在板上，設計者可以描述高達 百萬的ASIC 門。加州圣荷西 innologic系統(tǒng)公司操作部經(jīng)理 simon napper 說“并非大多數(shù)工程師能夠使用它。 EXPCV則意在用戶定制設計和存儲塊?；旧险f，這種方法首先確定時序，然后調(diào)整信元大小以滿足時間的需要。 俄勒岡波特蘭市的 genedax 公司的任務便是運用網(wǎng)絡增強設計者的能力，以創(chuàng)造和管理大型而復雜的設計，提高設計的再利用率，拓寬智力性能的途徑。 該公司已經(jīng)同加州圣克拉拉的 semiconductor 公司建立團隊合作關 系，以為全球消費者提供此項服務。（ meeting 是一項微軟產(chǎn)品，可以完成對計算機桌面的遠程共享）。 關注加州 Milpitas 的 是對有用信息的提取，從提供者的網(wǎng)址上我們可以看到關于集成電路，芯片和電路板的信息。由于在一起更為緊密，必須控制連接體之間的串擾。為了說明和完全檢驗一個四位微機芯片的加法器，需要 256 個二元向量，運行 256 個模擬周期。第一是分開或打破ASIC 寄存器傳送級編碼，使之成為不同的現(xiàn)場可編程門陣列。據(jù)推測，如果這個陣列按計劃工作，則最終芯片也將工作。它將是一種標準語言使半導體供應商， IP 供應商和系統(tǒng)房屋可交換系統(tǒng)級 IP和可執(zhí)行規(guī)格，并且電子設計自動化工業(yè)能夠發(fā)明一種編寫互用性的工具?！边@時用比特和 VHDL語言與 Java 語言將其連接起來。 您說 superlog？ 芯片系統(tǒng)由電路和軟件組成運行。We have taka our synthesis algorithms, between the partitioning capabilities, and laid the timing analysis across that. In addition to emulation, two plementary approaches to design verification are simulation and model checking, a type of formal verification. Simulation applies vectors to a software model of a design and checks to sec if the output has the correct value. The approach is straightforward, but is being increasingly tortuous as designs bee more plicated and the number of possible test vectors mushrooms. So recently, electronic design automation panies have been turning to model checking to prove that designs are correctly done. The sticking point with model checking is its great difficulty of use. It is not for most engineers, said Simon Napper, chief operating officer OF Innologic Systems Inc., San Jose, Calif. The usage model is very difficultit checks properties. But the designer isn39。t just linked together the different tools,” he explained. 39。那些公司是由幾個志向遠大啟動資金缺乏的人領導。 davidmann解釋說“一個很自然的基準點就是連接 verilog語言和 C 語言，從算法觀點上來看，大多數(shù) verilog 語言都是建立在C 語言基礎上的。 據(jù) synopsys 公司總經(jīng)理兼系統(tǒng)級設計商業(yè)部副總裁 Joachim kunkel 說，發(fā)展 system c 的合理性是顯而易見的。仿真技術可將一個設計譯成現(xiàn)場可編程門陣列。 Gallagher 說 certify 處理三個基本的操作。用戶獲得改善的功能保證和更高速的檢驗。盡管它們屬于更古老更巨大的技術。 synchronicity現(xiàn)以被其他公司聯(lián)合尋求使用網(wǎng)絡的優(yōu)勢。 ott 進一步闡述說”我們還有一個免費的網(wǎng)絡定位服務器，在此人們運用meeting 和一個網(wǎng)絡板可以提出問題并找到解決答案?；ㄙM極小，每個用戶低至 10 美元。該公司計劃在今年第一季度上市一個產(chǎn)品。改變信元大小使得工具能為負荷提供適當?shù)尿?qū)動強度。 時間恰好 盡管幾何上在 微米以下，運用半導體的集成電路的設計通過開發(fā)面臨挑戰(zhàn)，但是大的困難一部分發(fā)生在結構設計上。使用模型非常困難，它為了檢驗性能，但設計者習慣于模擬和靜態(tài)時序，并不熟悉什么是性能。而且運行耽擱將被大大縮短，因為每一個芯片距離陣列中其它任何一個芯片都不超過兩級。 system C 和 Superlog 哪一個將取得 最終勝利我們?nèi)栽嚹恳源?SystemC 語言，一個建模平臺，擴展了 C/C++的容量和優(yōu)勢到硬件領域，已經(jīng)被推薦為一個可選擇的方案。第一應該連接設計過程。這樣由于每一個芯片的邏輯閘門的數(shù)量超過了百萬，因此，對設計正確性的驗證瞬間比設計本身更加艱巨。 FPGA PROCESS DESCRIPTION Three obstacles in particular bedevil ic designers in this dawn of the system on a chip. The first is actually a shortfallthe hardware and software ponents of the design lack a unifying language. Then, as the number of logic gates per chip passes the million marks, verification of a design39。for。而另外一部分功能將在軟件被描述在編程語言 C 或 C++中結束。為了處理已經(jīng)存在的硬 件描述或編程語言的遺留問題， superlog允許 verilog語言和 C 語言模塊輸入并允許其直接使用。 通過確定新的 C++類庫和模擬型芯， system C 的開發(fā)者已解決了上述問題 ，使得 C++擁有了所有的所需的描述硬件的功能。加利福尼亞州Sunnyvale 的市場部經(jīng)理 John Gallagher 說“每秒鐘大約運行一百萬圈，設計者們不能從他們的仿真系統(tǒng)中有足夠的操作去檢驗或理解一些東西，這些東西將靠新一代視頻技術或?qū)掝l帶的通信技術運行。我們運用我們合成的算法，使分開的功能相互融合并且將時間分析貫穿于其中?！袄缫粋€模擬檢驗器將不停的旋轉運行但從不產(chǎn)生一個結果。第一個包含這項技術的產(chǎn)品是去年四月生產(chǎn)的 Dolphin。但是為了創(chuàng)造圖表式的符號和覆蓋區(qū)為覆蓋電路板， PDF 文件中的信息必須頻繁重新輸入，這是一項耗資巨大且非常浪費時間的過程，而且時間對于市場來說非常重要。仿真器則是公司的能源供應模擬裝置。因此據(jù) transim 公司首席執(zhí)行官兼總裁解釋說，設計者門能夠看到實際的波狀圖而非字斟句酌的研究數(shù)據(jù)表和一大堆的數(shù)值。 的產(chǎn)品是基于 ECIX 標準和 XML 的。（多數(shù)放置和運行工具按順序分析每一種系統(tǒng)規(guī)定參數(shù)的流程圖。這樣從一個 32 位降至 16 位的乘數(shù)。模擬是在一種設計和檢驗的軟件模型上應用向量，查看輸出是否有正確的值。 據(jù) Gallagher 說仿真系統(tǒng)之所以運行緩慢是由于要使設計按部就班的運行需要通過許多現(xiàn)場可編程門陣列和許多板。例如，位向量 0 和 1 的字符串，和所有的在其上將實行的操作。公司已經(jīng)開始和不同標準的組織合作工作達到其推廣的目的。 從工業(yè)角度上看我們相信是時候推出一種新的設計語言處理硬件和軟件的問題，使系統(tǒng)從最初的設計規(guī)格直達最后的檢驗。 Web sites. The issue, according to Michael Bitzko, president of the pany, is that designers of products based on there ponents need to be able to obtain information about them quickly and route it to their engineering, manufacturing, and pr