A look at using end-to-end prototyping to ease architecture development, hardware/software integration, and system validation in SoC designs
How code coverage and reachability analysis differ between simulation and formal verification techniques, and ways to use that to advantage.
Many IoT applications have a very strict energy budget. SoC designers targeting the IoT have to trade off providing the features that the market demands with the power budget the applications demand. What are their options?
Using formal property verification to prove that SoCs can’t do the wrong thing, as well as that they will do the right thing.
How parallelism in project management, synthesis and processing resources can accelerate FPGA-based design
Achieving IoT security means addressing every link in the chain, from the quality of your application code to embedding a root of trust in the hardware.
How to save test time and test costs by doing more tests in parallel, increasing compression, pooling tester memory, managing branching - and more
Part three of our series looks at the choices you face as you decide whether to build or buy a board.
Verification IP can help verify that memory-controller implementations meet standards; test an implementation against specific memories; and drive traffic for SoC verification and power analysis. Here's how to choose it.
A look at what it takes to verify low-power SoC designs, including setting objectives and measuring outcomes in a UPF-driven verification strategy
View All Sponsors