Considering design style, assertions, engines and coverage can help ease the development of an effective formal verification test plan
Verifying MIPI interfaces including CSI-2, CPHY, DPHY, MPY, Unipro and the UFS host controller on complex SoCs - should you make or buy the necessary VIP?
Complex processes and aggressive synthesis interventions are increasing the risks of metastability, creating a need for netlist-level CDC verification
Research study suggests the maturity of your verification flow determines the likelihood of first-pass success far more than the complexity inherent in design size.
A look at three techniques to verify the validity of signals moving between clock domains
Using equivalence checking to validate ECOs in ARM core subsystem development at STMicroelectronics
Designers will have to update development processes to achieve the rigorous safety certifications required in automotive, rail, avionics and similar markets
Emulation is now served by all three leading vendors and is a hot topic for discussion among engineers. The major verification conferences need to follow suit.
How tool parallelism, automatic partitioning, deep debug memories and time domain multiplexing eases FPGA prototyping of large ASIC and SoC designs
How Imagination Technologies used FPGA-based prototyping to develop its GPU IP and integrate it into a real world system
View All Sponsors