Cadence and UMC Collaborate on Certification of Analog/Mixed-Signal Flow for 28HPC+ Process (2019.08.07)
HSINCHU, Taiwan - Cadence Design Systems, Inc. and United Microelectronics Corporation ("UMC") today announced that the …
搜尋「Symbolic Logic」，共 8 筆
IEEE 802.11與11b標準深探 (2005.02.01)
電信自由化帶動無線通訊技術的演進，也驅使全球無線通訊設備與服務需求大幅成長。在無線通訊技術的不斷進步之下，未來的無線通訊產業勢必會以行動數據寬頻加值服務為主。本文針對802.11與11b的標準做一介紹，並詳細介紹無線網路的實體層架構。…
除錯和解構 (2004.04.25)
「霸客」是什麼？它就是所有工程師的公敵，是一種想像中的「昆蟲」，經常像「飛蛾撲火」般，不請自來。讀者應該猜出這個「霸客」是指什麼了吧？您應該答對了！就是指BUG。雖然，它的名字只有三個英文字母，但是只要在它後面多加一個S，就會讓工程師痛苦數…
高科技的文學境界 (2004.04.25)
數十年以來，我們不斷強調這是一個知識爆炸的時代，然而在中文的世界裡也只提倡了一個白話文運動，可以作為一種文學進展的代表，然而實際是否就能夠更快速的吸收新知？或迎頭趕上西方的工業革命腳步？這一點倒是很值得探討與商榷的地方。如今又到了另一個知識…
軟／硬體的正規（formal）驗證 (2003.03.05)
正規（formal）驗證（verification）技術，也就是用數學的符號，表達出系統設計的規格，從而減少工程師間錯誤溝通的可能性，進而提昇系統設計的品質，但國內工程界對這項新科技卻認知不深，採用的更少。本文將深入介紹此一驗證方法的歷史背景、最新技術、與未來發展走向。…
從電子代工到晶片設計 (2002.06.05)
本文縱論了在國內電子設計、製造代工和晶片設計業界目前普遍存在的技術問題，並試圖提出一些可行的解決方案，希望能藉此拋磚引玉，集業界先進們的智慧共同解決這些問題。…
可編程單晶片系統設計趨勢 (2002.01.05)
在複雜的單晶片系統（SoC）設計中，它將PLD在靈活性和產品面市時間上的優勢與預先設計好的處理器內核、記憶體和外部設置結合在一起，這些器件要求新的設計輸入和模擬工具，以及用於各種IP模組之高速周期精確的特性模型。…
透視Formal Verification產品線 (2001.03.05)
在一個以指數成長的市場，這些損失的時間，最後都可以看成是錯失機會的成本...…