Reachability analysis is a fundamental technique in the synthesis, verification of VLSI circuits. This paper presents a novel semi-formal approach which combines the advantages of simulation and ...

1. Introduction The revolution from the micro-technology to nano-technology and the growing demand on high performance VLSI chips drive industry companies like Intel and IBM to have their own internal ...

PowerPro Analyzer with block-level power analysis will be available in October 2009. Chip-level power analysis will be available in February 2010. The tool will be offered for a list price of $50,000.