IODINE:
        A Tool to Automatically
      Infer Dynamic Invariants for
           Hardware Designs
               Desi...
Motivation for Dynamic Analysis
We simulate designs extensively.
Simulation runs contain lots of information.
How can this...
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
IODINE - DAC presentation
Upcoming SlideShare
Loading in …5
×

IODINE - DAC presentation

1,843 views
1,807 views

Published on

IODINE - DAC presentation

Published in: Technology, Design
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,843
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
8
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

IODINE - DAC presentation

  1. 1. IODINE: A Tool to Automatically Infer Dynamic Invariants for Hardware Designs Design Automation Conference 2005 16th June, 2005 Sudheendra Hangal Naveen Chandra Sridhar Narayanan Sandeep Chakravorty Sun Microsystems Sun Microsystems P. A. Semi Inc Sun Microsystems Bangalore Bangalore CA Bangalore
  2. 2. Motivation for Dynamic Analysis We simulate designs extensively. Simulation runs contain lots of information. How can this information be used ? 1) Understanding behavior of the design 2) Automatically extracting design properties 3) Understanding impact of design differences ...

×