Automating executable specifications as they evolve can deliver major efficiencies.
Embedded multicore systems require engineers to make choices around the hardware and software architectures, approaches to certification and more. This is a guide to the trade-offs involved and how to best leverage your options.
Ashish Darbari breaks down formal's value to this challenging verification task with code examples and reference to VC Formal from Synopsys.
In an exclusive interview, Lauro Rizzatti discusses the increasing verification challenges for drone SoCs with Bo Shen, founder of fabless specialist Artosyn.
How virtualization and integration with hardware testers are enabling networking SoCs in the billion-gate era.
How tool parallelism, automatic partitioning, deep debug memories and time domain multiplexing eases FPGA prototyping of large ASIC and SoC designs
How Wall Street's vastly resourced IT teams already point the way to cheaper, faster and more efficient verification by putting goals not tools first.
The HAPS prototyping system can help designers integrate IP into SoCs more quickly.
Build tools around the dataflows and control systems engineers model to address verification challenges posed by burgeoning complexity and low power.
SoC integration can be accelerated by using virtualization to make the benefits of emulation more accessible to both hardware and software engineers.
View All Sponsors