This article is about our experience in applying formal verification techniques to an ASIC design in a large communication system. When we, in the Alcatel-Lucent IC design group in Nürnberg, Germany, ...

In prior articles I’ve written in general terms of about formally verifying the impact of adding low power control circuitry with Jasper’s Low Power Verification App. At the recent Jasper User’s Group ...

More processors on SoCs means more sophisticated cache control. This article describes formal techniques for verifying cache coherency for the ARM AMBA AXI Coherency Extensions (ACE) protocol. Fig 1.

The practical application of a theory or idea is the most effective way of demonstrating its usefulness. Case studies allow for the dissection of practical applications to uncover the thinking that ...

A case-control study is a type of medical research investigation often used to help determine the cause of a disease, particularly when investigating a disease outbreak or rare condition. If public ...

The Case of São Paulo, Brazil: Optimizing Wastewater treatment plants in the metropolitan area of Sao Paulo This case study focuses on the experience of São Paulo, Brazil and SABESP (Companhia de ...

This Case Study illustrates some of the potential pitfalls of diagnosis and demonstrates a combination of problems of follow-up biochemical screening in a patient operated for a large pheochromocytoma ...