新思科技股份有限公司(英語:Synopsys Inc.)是一家總部位於加州森尼韋爾的美國電子設計自動化(EDA)公司,專注於矽晶設計與驗證、矽晶智慧財產權,以及軟體安全與品質。Synopsys(新思科技)提供各式工具與服務給半導體設計與製造產業。其產品涵蓋用於邏輯合成與積體電路實體設計的工具、開發用的模擬器,以及協助晶片與電腦系統邏輯設計的除錯環境等。

新思科技有限公司
Synopsys, Inc.英語
公司類型上市公司
股票代號
ISINUS8716071076 编辑维基数据
公司前身Virage Logic 编辑维基数据
成立1986年,​40年前​(1986
 美国北卡罗来纳州研究三角公园
創辦人David Gregory
Aart de Geus
代表人物阿特·德吉亚斯英语Aart J. de Geus(董事长兼首席执行官)
萨辛·加齐(Sassine Ghazi,总裁兼首席运营官)[1]
總部 美国加利福尼亚州森尼韋爾
产业
營業額 $31.21亿 美元 (2018财政年度)[2]
净利润 $24.69亿 美元 (2018财政年度)[2]
員工人數13,000[3]
网站www.synopsys.com

发展历程

编辑

新思科技于1986年由现任首席执行官的阿特·德吉亚斯博士与来自北卡罗来纳州通用电气微电子中心的几位工程师共同创建。公司最初名为Optimal Solutions,主要从事开发与销售通用电气开发的逻辑综合技术。新思科技的发展过程中,主要是依靠不断地并购活动获取新的技术来完善自身的产品线。时至今日,新思科技产品线已经覆盖了集成电路从前端到后端的整个设计流程。[4]

产品

编辑

新思科技公司的产品包括:

  • Advanced Fusion Technology[5]
  • Black Duck[6]
  • Black Duck Audit Services[7]
  • BSIMM
  • Code Sight[8]
  • Coverity[9]
  • Custom Compiler
  • DC Explorer
  • Defensics[10]
  • Design Compiler Graphical
  • Design Complier NXT
  • ESP
  • Formality®
  • Fusion Compiler
  • Fusion Design Platform
  • HAPS® Prototyping
  • IC Compiler™
  • IC Compiler II™ with RedHawk™
  • IC Validator
  • Identify® RTL Debugger
  • Lynx Design System
  • Nanotime
  • Polaris Software Integrity Platform™[11]
  • PrimeECO
  • PrimePower
  • PrimeYield
  • Proteus
  • QuickCap NX
  • Seeker[12]
  • SilconSmart®
  • Siloti
  • Simpleware™ ScanIP
  • SpyGlass®
  • StarRC™
  • Synopsys eLearning
  • Synopsys Managed Services[13]
  • Synopsys Professional Services
  • Synopsys TestMAX™
  • Synplify Premiere®
  • Synplify Pro®
  • The PrimeTime ® Suite
  • Tinfoil[14]
  • Verdi®
  • Verdi Advanced AMS Debug
  • Verdi HW/SW Debug
  • Verdi Performance Analyzer
  • Verdi Power-Aware Debug
  • VerIDE
  • Virtualizer®
  • VCS®

公司位置

编辑

新思科技公司總部設於美國加州森尼韋爾,並在全世界有98處研發機構及辦事部門。

美國

编辑

新思科技總部位於加州森尼韋爾,同時於亞利桑娜州、科羅拉多州、佛羅里達州、喬治亞州、伊利諾州、馬里蘭州、麻薩諸塞州、密西根州、明尼蘇達州、紐澤西州、紐約州、北卡羅萊納州、奧勒岡州、賓夕法尼亞州、德克薩斯州、維吉尼亞州、華盛頓州皆設有研發中心或據點。

中华人民共和国

编辑

新思科技在北京上海武汉厦门澳門设立了研发中心,同时在北京、上海、深圳香港特别行政区设有代表处,负责在中国区的市场、销售、技术支持等服务。

台灣

编辑

新思科技1991年在台灣成立分公司,於2012年併購思源科技(SpringSoft),納入驗證工具Verdi及設計工具Laker等產品[15]。新思科技在台灣辦公室分別位於新竹市新竹科學工業園區(原思源科技)以及國立陽明交通大學博愛校區、新竹縣竹北市台北市

参考文献

编辑
  1. ^ Synopsys Appoints Sassine Ghazi as President and Chief Operating Officer; Chi-Foon Chan to Transition from co-CEO Role (新闻稿). Synopsys. 13 September 2021 [2023-10-19]. (原始内容存档于2023-03-27). 
  2. ^ 2.0 2.1 NASDAQ:SNPS - Google Search. www.google.com. 
  3. ^ Synopsys Corporate Backgrounder Spring 2018 (PDF). Synopsys.com. [2019-11-06]. (原始内容存档 (PDF)于2021-03-08). 
  4. ^ Synopsys. Synopsys. 2021-02-04 [2021-02-04]. (原始内容存档于2021-03-27). 
  5. ^ Diamantidis, Stelios. Machine Learning..Everywhere. Semiconductor Engineering. 2020-02-06 [2020-03-28]. (原始内容存档于2021-03-02). 
  6. ^ Bals, Fred. Taking Next Step in Your AppSec Program. Security Boulevard. 2020-01-29 [2020-03-28]. (原始内容存档于2021-02-25). 
  7. ^ Germain, Jack. Open Source Flaw Management Shows Sign of Improvement: Report. LinuxInsider. 2019-04-30 [2020-03-28]. (原始内容存档于2019-05-19). 
  8. ^ Klien, Charlie. Announcing Code Sight 2019.4. Software Integrity Blog. 2019-05-08 [2020-03-28]. (原始内容存档于2021-03-09). 
  9. ^ Gray, James. Synopsys' Coverity. 2016-09-06 [2020-03-28]. (原始内容存档于2021-03-08). 
  10. ^ Korolov, Maria. What is AI fuzzing?. CSO Online. 2019-03-26 [2020-03-28]. (原始内容存档于2020-12-05). 
  11. ^ Kerner, Sean Michael. Synopsys Launches Polaris Software Integrity Platform. eWeek. 2019-02-25. 
  12. ^ Synopsys Redefines Interactive Application Security Testing. Cision PR Newswire. 2018-07-31 [2020-03-28]. (原始内容存档于2021-03-08). 
  13. ^ Menear, Harry. 2020 vision: Synopsys predictions. Gigabit. 2020-01-02 [2020-03-28]. (原始内容存档于2020-01-30). 
  14. ^ Staff, DarkReading. Synopsys buys Tinfoil. Dark Reading. 2020-01-10 [2020-03-28]. (原始内容存档于2021-03-08). 
  15. ^ Synopsys to Acquire SpringSoft - Aug 3, 2012. news.synopsys.com. [2019-09-10]. (原始内容存档于2020-10-24). 

外部链接

编辑

📚 Artikel Terkait di Wikipedia

调试工具

CA/EZTEST(Cics Interactive test/debug) CodeView DBG - A PHP Debugger and Profiler dbx DebugView DDD, Data Display Debugger DEBUG DOS Command DuxDebugger(页面存档备份,存于互联网档案馆)—

Gemini (聊天機器人)

code. Reuters. April 21, 2023 [April 21, 2023]. (原始内容存档于April 21, 2023).  Korosec, Kirsten. Google's Bard AI chatbot can now generate and debug code.

通用快閃記憶體介面

2008. (Original link) (英文)Spansion - App Note - Using CFI to Read and Debug Systems, 2007. (Original link) (英文)Spansion - Quick Guide to Common Flash

通用語言運行庫

除錯管理 Debug Engine 中間碼(MSIL)到機器碼(Native)編譯 類別裝載 Class Loader 開發人員使用高階程式語言撰寫程式。接下來編譯器將程式碼編譯成微軟的中繼語言(MSIL)。執行的時候CLR會將MSIL碼轉換為作業系統的原生碼(Native code)。CLR內建有即時編譯)編譯器。

一次编写,到处运行

,所以一种应用可能需要在许多平台上进行测试才能确保正确性和稳定性,这造就了一个程序员间的笑话:“一次编译,到处调试”(“Write Once, Debug Everywhere”)。 JavaSoft ships Java 1.0. Sun Microsystems. 1996-01-23. Java's

Google網頁工具包

[2016-10-25]. (原始内容存档于2021-01-16).  Release Notes for 2.8.0. [2016-10-25]. (原始内容存档于2021-01-16).  Debug and Compile - FAQ. [2010-11-13]. (原始内容存档于2011-12-20). 

死碼刪除

main(void) { int a = 5; int b = 6; int c; c = a * (b >> 1); if (0) { /* DEBUG */ printf("%d\n", c); } return c; } 由於0將永遠被視為False,所以if判斷式內的程式將永遠不會被執行,

调试

Debugging 2nd. Morgan Kaufmann. 2009. ISBN 978-0-123-74515-6.  McConnell, S. Code Complete 2nd. Microsoft Press. 2004. ISBN 978-0-735-61967-8.  The First Computer