Missed #50DAC? See Aldec Verification Sessions Online

Aldec, Inc. is an industry-leading Electronic Design Automation (EDA) company delivering innovative design creation, simulation and verification solutions to assist in the development of complex FPGA, ASIC, SoC and embedded system designs. With an active user community of over 35,000, 50+ global partners, offices worldwide and a global sales distribution network in over 43 countries, the company has established itself as a proven leader within the verification design community.

Aldec is offering the most popular Technical Sessions from this year’s Design Automation Conference online:

DO-254 Requirements Traceability
Date:Thursday, June 20, 2013
EU: 3:00 PM – 4:00 PM CEST Learn more
US:11:00 AM – 12:00 PM PDT Learn More

Accelerate DSP Design Development: Tailored Flows
Date:Thursday, July 25, 2013
US Time:11:00 AM – 12:00 PM PDT Learn more

CyberWorkBench: C-based High Level Synthesis and Verification
Date:Thursday, September 12, 2013
EU: 3:00 PM – 4:00 PM CEST Learn more
US:11:00 AM – 12:00 PM PDT Learn more

Hybrid SoC Verification and Validation Platform for Hardware and Software Teams
Date: Thursday, September 26, 2013
EU Time: 3:00 PM – 4:00 PM CEST Learn more
US Time:11:00 AM – 12:00 PM PDT Learn more

Here is a section of A DAC Report from Dmitry Melnik, Product Manager Software Division @ Aldec:
I just returned back to the office from the 50[SUP]th[/SUP] Design Automation Conference (DAC) which took place in Austin, TX, on June 2—6. As I began compiling my trip report, I thought that I might share some of my observations, especially for those who couldn’t attend this industry event but still wanted to gain some insight.

Functional Verification trends
Since Aldec’s core competency is functional verification, I was keeping an eye on this particular domain… and just by looking at the exhibiting companies, I can tell that both interest and presence in the functional verification space keep growing from year to year. This is no surprise to any major EDA vendor, as our customers have been designing complex multimillion SoCs for quite a while now.

• We all know that verification is becoming more and more challenging as design complexity keeps growing. No one is surprised to see customer designs that target sub-28nm process technology, have billions of transistors, multiple ARM Cortex processors, a number of switchable power domains, and hundreds of IPs talking to each other via high-speed AXI interconnects.

• Verifying a large-scale SoC is a process that requires careful planning and execution. SoC verification teams put a lot of pressure on EDA vendors and expect us to have their backs in achieving verification closure. While simulation remains one of the key verification methods, the tool efficiency has had a huge impact on project schedules. For this reason, there is an on-going collaboration between Aldec customers and R&D to fine-tune Riviera-PRO™ based on the current cutting edge projects. We are constantly improving the compilation times for RTL code and gate-level netlist (with and with no SDF), simulation runtimes, and memory footprints.

• Customers manage their requirements and test plans in dedicated tools such as Aldec’s new Spec-TRACER™, and test new features with several constrained random sequences instead of thousands of directed tests, improving productivity by orders of magnitude. Functional coverage has always been going together with constrained-random stimuli, but today we are dealing with hundreds of functional coverage points, cross-coverage, and merging results from many test runs. Fortunately, standards such as Accellera’s UCIS help all vendors to address this challenge in a consistent and effective way.

• SystemVerilog-based UVM and reusable Verification IPs (VIPs) is becoming an industry standard. Some teams reported that they were able to reduce design time by 2—3X based on deployment of UVM-compliant environments. UVM itself presents a challenge for EDA vendors – industry-wide adoption of this OOP-flavored framework requires us to shift some of the traditional paradigms and expand hardware engineer’s toolbox with new debugging tools, which used to be specific for software programming domain.

• When it comes to an SoC design there are usually both software and hardware design teams, each using several techniques to be able to work in parallel and shorten time-to-market. These techniques include virtual prototyping, FPGA-based prototyping, and in-circuit emulation. Based on how customers use our HES-DVM™, we see that virtual prototyping is typically used for early software development and driver software verification; whereas primary application for emulation is verification of a sub-system or entire SoC in its system environment (connections to peripherals and software running in processors).

Well, I could go on and on… as I haven’t even mentioned the challenges associated with low power design, multiple clock domains (CDC), high-level synthesis (HLS), and formal verification. Aldec has been around for 30 years, and we have seen designs evolve from few thousand gates to millions of gates… and today’s multimillion gate SoC will eventually become building blocks (or IPs) for the future SoC designs. These are certainly exciting times for the EDA industry!

lang: en_US