Synopsys Magma Design Automation Aart de Geus EVE/ZeBu List of EDA companies List of semiconductor IP core vendors Antun Domic Coverity Karen Bartleson Cigital Deirdre Hanford Saber (software) Brite Semiconductor ARC (processor) Atomistix EDA database Cadence Design Systems, Inc. v. Avanti Corp Red Lizard Software Synopsis Virage Logic OpenVera Anne Cirkel C Level Design Asen Asenov Kevin Rolland Thompson Sonic Focus ScanIP Chipidea Yervant Zorian Thomas W. Williams (engineer) Marie Pistilli Award Signoff (electronic design automation) Atomistix Virtual NanoLab Protecode Reference Verification Methodology Optical engineering Gary McGraw ARC International Atomistix ToolKit MoSys Ashawna Hailey Parasitic extraction Victor …

Grinich Circuit design language Janet Olson Timing closure Middlefield station OpenVX Yehia Massoud SystemC Ormakalil Oru Manjukaalam PCI-SIG Koders Common Power Format CATS (software) Statistical static timing analysis Resolution enhancement technology Hanford (surname) Masis Transaction-level modeling Compute Express Link Engineering change order John G. Schwarz Belle Wei Electronic design automation Samvel K. Shoukourian Gevorg Gorgisyan Faysal Sohail High-level synthesis Computational lithography IEEE Robert N. Noyce Medal ECU-TEST Abbas El Gamal Phil Moorby IP-XACT Jason Cong Dana Fisman Unified Power Format Polysilicon depletion eff

ect Virtual Socket Interface Alliance Semiconductor process simulation VHDL-AMS Code Dx Maramkothi HSA Foundation InterChip USB Poornima Vijayashanker Ansys Penny Herscher Pran Kurup PowerPC 400 Altos Design Automation Science and technology in Armenia Formal equivalence checking Open Hub Silterra Malaysia Daisy Systems Principia Cybernetica The Flying Matchmaker Language for Instruction Set Architecture MQX Standard cell Logic synthesis CoreConnect CI/CD Sigrity Baikal CPU Bruce Chizen Neural Network Exchange Format Specman Massoud Pedram Intelligent verification Douglas Levin EnCore Processor Kurt