Supporter's Exhibition

Supporter's exhibition is held by the following six companies which support ASP-DAC 2017 and have exhibition booths. The supporter's exhibition is presented at International Conference Hall 1F Lobby from January 17 through January 19.

Exhibit Hours: 10:00 - 17:30, January 17
10:00 - 17:30, January 18
10:00 - 16:00, January 19
Location: International Conference Hall 1F Lobby

Baum Co.
Baum Co.
Baum is an electronic design automation (EDA) company specialized in automatic generation of fast high-level power models. Baum’s ground-breaking automatic high-level power modeling technology enables tens to hundreds of times faster power analysis than conventional power analysis technology. Baum’s power models can be used at various design abstraction levels including electronic system level (ESL), register-transfer level (RTL), and gate-level.
Automatic generation of fast and accurate power models from the digital circuit descriptions at low-levels such as RTL or gate-level is essential to enable industrial practices for power-aware hardware-software partitioning. Elevating the levels of design abstractions is a history-proven strategy to push design productivity up higher. With the high-level power models, designers can quickly estimate the power hot spots and take actions to eliminate them. In addition, the power models can be implemented as a hardware intellectual property (IP) circuit that can serve as a power models for emulators or a thermal sensors for fine-grained thermal management.
Easy-Logic Technology Ltd.
Easy-Logic Technology Ltd.
www.easylogic.hk
Easy DataEC -- The world’s only Formal Verification tool for Data-Path
Missing complete verifications could cost billion-dollar lost in case of errors (e.g. Intel Cougar Point bug, Pentium bug,..), thus Formal Verification is a must-do for IC designs. However, since today’s EDA tools running traditional formal methods (SAT, OBDD) for Data-Path circuitries (DSP, ALU) might take exponential run time, these circuitries were often "silently" treated as "black-boxes" (e.g. "unverified points") with formal verification skipped. Improved from a 3 times ICCAD CAD contest winner technique (Complementary Coupling algorithm), the Data-EC of Easy-Logic can formally verify most industrial Arithmetic blocks within seconds or minutes. (ieeexplore.ieee.org/document/7428002/)
Keysight Technologies
Keysight Technologies
Keysight EDA is the leading supplier of electronic design automation software for communications product design. RF and Microwave circuit, high-speed, signal integrity, device modeling, power electronics, and signal-processing design engineers accelerate the development of better products using design flows built on our device modeling, electro-thermal, electromagnetic, circuit and system design and simulation tools.
NEC Corp.
NEC Corporation
www.nec.com

CyberWorkBench
CyberWorkBench (R)
www.cyberworkbench.com/
CyberWorkBench (R) is a C-based High level synthesis and verification tool suite, which allows both hardware and software designer to generate high quality RTL for ASIC and/or FPGA from their ANSI-C or SystemC program. NEC is a pioneer company of High Level Synthesis, and it succeeded to generate commercial ASICs and FPGAs since 1993. CWB can be used for both control dominated and data intensive pipeline circuits, and has unique C-level verification capability such as C source code level cycle accurate timing debugger, C level assertion checker, C and RTL cross probing, etc. For more information, visit us at (www.cyberworkbench.com)
OneSpin Solutions
OneSpin Solutions
www.onespin.com
OneSpin Solutions is a pioneer of advanced formal techniques to solve practical verification challenges. The company's award winning, leading technology enables a versatile range of verification solutions. These solutions include agile design evaluation for designers, advanced, coverage-driven assertion based verification, and automated apps for a range of design verification tasks. In addition, the company provides a safety critical formal solution for high reliability applications, a SystemC/C++ capability for algorithmic analysis, and Equivalency Checking to improve FPGA quality of results. OneSpin solutions may be found at many of the leading electronics companies worldwide.
Springer
Springer
Email: charles.glaser@springer.com
Springer is part of Springer Nature, which has over 8,000 employees in over 30 countries. Springer publishes a wide variety of scientific and technical book and journal content, including over 8,000 book titles per year and over 2,500 journals. Our content is distributed globally, via our online portal known as Springerlink, as well as in-print via springer.com and a variety of retail outlets, e.g., amazon.com. Our book publishing includes a variety of content types, including textbooks, professional books, research monographs, and major reference works. Since Springerlink has authorized users at over 6,000 institutions around the world, our authors' work has unparalleled global reach. We offer our authors individualized, expert relationships, throughout the lifecycle of their publishing effort. Please visit the Springer exhibit and discuss your next book with Charles Glaser, Editorial Director (charles.glaser@springer.com).
Last Updated on: 2016年12月 1日