Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Power Grid Verification

 

Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

 

Check Your Delivery Options

 
Rs. 3,651

Availability: In stock

 
  • Product Description
 

Full-chip verication requires one to check if the power grid voltage drop does not exceed a certain threshold. The traditional simulation-based solution to this problem is computationally expensive, because of the large variety of possible circuit behaviors that would need to be simulated; it also has the disadvantage that it requires full knowledge of the details of the circuit attached to the grid, thereby precluding early verication of the grid. We propose a power grid verication technique that can be applied before the complete circuit has been designed and without exact knowledge of the circuit currents. We use current constraints, which are upper bound constraints on the currents that can be drawn from the grid, as a way to capture the uncertainty about the circuit details and activity. We propose one technique where we verify the worst case voltage as an optimization problem. Using this voltage verication and the constraints we also check the worst case delay of critical paths within the design. Lastly we implement a method of partitioning that allows us to verify grids of an industrial size within reasonable simulation times.

Product Specifications
SKU :COC28613
AuthorDenis Kouroussis
LanguageEnglish
BindingPaperback
Number of Pages104
Publishing Year2010-01-09T00:00:00.000
ISBN978-3838381879
Edition1 st
Book TypeElectronics & communications engineering
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-29 00:00:00