Industry Affiliations

Accellera Accellera's mission is to drive worldwide development and use of standards required by systems, semiconductor and design tools companies, which enhance a language-based design automation process. Its Board of Directors guides all the operations and activities of the organization and is comprised of representatives from ASIC manufacturers, systems companies and design tool vendors. For more information please visit http://www.accellera.org/home/.
 
ARM ARM Connected Community - The ARM Connected Community is a global network of companies aligned to provide a complete solution, from design to manufacture and end use, for products based on the ARM architecture. ARM offers a variety of resources to Community members, including promotional programs and peer-networking opportunities that enable a variety of ARM Partners to come together to provide end-to-end customer solutions. For more information, please visit http://www.arm.com/community .
   

Duolog logo Duolog Technologies is a leading developer of EDA products that address the increasingly complex challenges of SoC integration.  We enable our customers to deliver integrated systems more quickly and cost effectively than their competitors.  Our innovative tools and solutions allow for maximum productivity and control throughout the entire SoC lifecycle. http://www.duolog.com.
 

EDA The Electronic Design Automation Consortium (EDAC) is the international association of companies developing EDA tools and services that enable engineers to create the world's electronic products. The EDA Industry provides the critical technology to design electronics that enable the Information Age, including communications, computers, space technology, medical and industrial equipment and consumer electronics. EDAC's mission is to promote the health of the EDA industry, and to increase awareness of the crucial role EDA plays in today's global economy. For more information visit http://www.edac.org.
 
EDA EASii IC is a consulting company and a design center in Electronics, Embedded and Real Time software and Microelectronics. EASii IC intervenes in different ways: technical assistance, expertise or package.For more information, please visit http://www.easii-ic.com.
   

Gila Logic Logo

Gila Logic provides leading edge consulting services for ASIC and FPGA design, verification, and CAD. 

 

Our logic development group can provide outsourcing or on-site assistance in areas ranging from Verilog and VHDL coding, to Formal Verification, to everything in between.

 

We specialize in Formal Property Checking. http://gilalogic.com

   

Mentor Graphics Mentor Graphics® is a leader in electronic design automation enabling companies to develop better electronic products faster and more cost-effectively. Their innovative products and solutions help engineers conquer design challenges in the increasingly complex worlds of board and chip design.
   

OCP-IP OCP-IP is dedicated to proliferating a common standard for intellectual property (IP) core interfaces, or sockets, that facilitate "plug and play" System-on-Chip (SoC) design. Making complex SoC design more efficient for the widest audience, the industry strongly supports the Open Core Protocol as the universal complete socket standard, regardless of on chip architecture or which processor cores are featured. For more information, please visit http://www.ocpip.org .
   

Sezer logo

Sezer Technologies was founded in 2008. It specializes in design and verification services for the semiconductor industry. Clients are offered an experienced team and the power of highly qualified engineers combined with a proprietary verification platform.Our customers are leading companies across the semiconductor fabless industry. We are therefore offering our services with a proven track record and years of experience. Below you can find some featured clients.

 

Sezer Technologies offers flexible solutions for projects at any stage, depending on your company's specific needs. Our experienced and knowledgeable team offer high level and efficient solutions from project inception and design to its management and conclusion. This makes Sezer Technologies a natural partner for clients at any development phase. http://sezer-tech.com

 

 


 

Spirit To accelerate the design of large System-on-Chip (SoC) solutions, the semiconductor industry needs a standard mechanism for describing and handling multi-sourced IP that enables automated design integration and configuration within multi-vendor tool flows. The SPIRIT Consortium's founding companies are combining their long experience in IP development, supply, integration and electronic design automation (EDA) to deliver such a mechanism. The Consortium provides a unified set of specifications based on IP meta-data, the IP-XACT specifications, for importing complex IP bundles into SoC design tool sets, and exchanging design descriptions between tools. For more information please visit http://www.spiritconsortium.org.
 
Synopsys Synopsys is a world leader in electronic design automation (EDA), supplying the global electronics market with the software, IP and services used in semiconductor design and manufacturing. Synopsys' comprehensive, integrated portfolio of implementation, verification, IP, manufacturing and FPGA solutions helps address the key challenges designers and manufacturers face today, such as power and yield management, system-to-silicon verification and time-to-results. These technology-leading solutions help give Synopsys customers a competitive edge in bringing the best products to market quickly while reducing costs and schedule risk. For more information please visit http://www.synopsys.com
   

TrueChip logo

 

TrueChip is a leading provider of design and verification solutions, including Verification IPs and front-end design services. TrueChip’s unique Verification IP development and integration methodology helps customers’ reduce their verification cycle time significantly, while achieving class leading quality and verification metrics. For more details, visit www.truechip.net

 

   

Verilab logo

 

Verilab is an elite international team of verification experts. We specialize in solving the toughest problems in VLSI functional verification, from chip rescue and critical path pruning, through sophisticated verification IP development, to complete methodology re-engineering. Our consultants are skilled across the full range of the most powerful modern tools, technologies and methods. And as well as deploying those in new scenarios, we are experienced in making best practices fit into existing flows.

 

 

 

Established in 2000, we now serve clients across Europe and the USA from our sites in Austin, Munich, Bristol and Glasgow. We can deploy the best consultants available to your project. Let us help you find, corner and kill those bugs. http://www.verilab.com

 

University Program

Portland State University Portland State University
http://www.pdx.edu
Professor Fei Xie
 
UFMG, Brazil UFMG, Brazil
http://www.ufmg.br/english
Professor Antonio Otavio Fernandes - otavio@dcc.ufmg.br
 
Chalmers University of Technology,  Sweden Chalmers University of Technology, Sweden
http://www.chalmers.se
Professor Mary Sheeran and Koen Claessen
 
 Univ Bristol logo

University of Bristol, UK
https://www.cs.bris.ac.uk/~eder/
Professor Kerstin I. Elder