March 1, 2016
How fault mode and effect analysis (FMEA) can be performed on a virtual prototype of an automotive system containing mechanical, electrical, analog and digital models, including the microcontroller running the same software as will be used in the car.
March 1, 2016
The reset state of a design can have a huge impact on the scope and correctness of verification, especially when formal techniques are applied.
February 22, 2016
How to work with multiple levels of physical hierarchy when floorplanning multicore, multiport, multi-million gate SoCs
February 10, 2016
How to ease AMS verification using tools that improve simulation debug, ease IP integration, and speed design analysis and centering
January 27, 2016
What can you add to a challenging project without pushing out deadlines and muddling communication?
January 20, 2016
A look at using end-to-end prototyping to ease architecture development, hardware/software integration, and system validation in SoC designs
January 19, 2016
How code coverage and reachability analysis differ between simulation and formal verification techniques, and ways to use that to advantage.
January 12, 2016
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?
January 5, 2016
Using formal property verification to prove that SoCs can’t do the wrong thing, as well as that they will do the right thing.
November 30, 2015
How parallelism in project management, synthesis and processing resources can accelerate FPGA-based design