IODINE - DAC presentation

•

0 gefällt mir•1,125 views

hangal

Technologie Design

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

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
...

Empfohlen

IodineMedicineAndHealth14

ParentsGustavo Soto Miño

Industrial Design Intelligence: Evaluation Supporting Aesthetic and Functiona...BayCHI

User Experience Design + Agile: The Good, The Bad, and the UglyJoshua Randall

The Future of Tools @ Future of Mfg. Community May 26, 2021Nick Pinkston

Lively Walk-Through: A Lightweight Formal Method in UI/UX designTomohiro Oda

UX + Agile: The Good, The Bad, and The UglyJoshua Randall

Design Workshop I @ Cornell TechZaid Haque

Empfohlen

IodineMedicineAndHealth14

ParentsGustavo Soto Miño

Industrial Design Intelligence: Evaluation Supporting Aesthetic and Functiona...BayCHI

User Experience Design + Agile: The Good, The Bad, and the UglyJoshua Randall

The Future of Tools @ Future of Mfg. Community May 26, 2021Nick Pinkston

Lively Walk-Through: A Lightweight Formal Method in UI/UX designTomohiro Oda

UX + Agile: The Good, The Bad, and The UglyJoshua Randall

Design Workshop I @ Cornell TechZaid Haque

Hcsd talk ibmBart Knijnenburg

UX Workshop: How to design a product with great user experienceRaj Lal

GENERATOR V1.0 (Shenzhen)HAX

Taking your Dev Team on the UX JourneyBSGAfrica

Enrique Allen, D Fund - Warm Gun Conference500 Startups

MDE first glanceJuan M. Vara

2011/06/21 Microsoft Developer Day 2011—Design DecadeJustin Lee

4 - Architetture Software - Architecture PortfolioMajong DevJfu

2022 COMP4010 Lecture 6: Designing AR SystemsMark Billinghurst

Elevator pitch for testing software architecture and software designZarko Acimovic

Elevator pitch architecture designZarko Acimovic

The Future of Tools - Oasis 2021Nick Pinkston

24 Hours of UX - Agile + UX: Good, Bad, UglyJoshua Randall

Large Scale Data ManagementThomas Miller

Agile Infrastructure Velocity 09Andrew Shafer

Adapting usability for agile ucd ferFer O'Neil

How Deep Learning Changes the Design Process #NEXT17Alexander Meinhardt

Se research updateNacha Chondamrongkul

Design Patterns Summer Course 2009-2010 - Session#1Muhamad Hesham

Arif_resumeArif Mohamed Khan.R

Maclean.pptxhangal

Weitere ähnliche Inhalte

Ähnlich wie IODINE - DAC presentation

Hcsd talk ibmBart Knijnenburg

UX Workshop: How to design a product with great user experienceRaj Lal

GENERATOR V1.0 (Shenzhen)HAX

Taking your Dev Team on the UX JourneyBSGAfrica

Enrique Allen, D Fund - Warm Gun Conference500 Startups

MDE first glanceJuan M. Vara

2011/06/21 Microsoft Developer Day 2011—Design DecadeJustin Lee

4 - Architetture Software - Architecture PortfolioMajong DevJfu

2022 COMP4010 Lecture 6: Designing AR SystemsMark Billinghurst

Elevator pitch for testing software architecture and software designZarko Acimovic

Elevator pitch architecture designZarko Acimovic

The Future of Tools - Oasis 2021Nick Pinkston

24 Hours of UX - Agile + UX: Good, Bad, UglyJoshua Randall

Large Scale Data ManagementThomas Miller

Agile Infrastructure Velocity 09Andrew Shafer

Adapting usability for agile ucd ferFer O'Neil

How Deep Learning Changes the Design Process #NEXT17Alexander Meinhardt

Se research updateNacha Chondamrongkul

Design Patterns Summer Course 2009-2010 - Session#1Muhamad Hesham

Arif_resumeArif Mohamed Khan.R

Ähnlich wie IODINE - DAC presentation (20)

Hcsd talk ibm

UX Workshop: How to design a product with great user experience

GENERATOR V1.0 (Shenzhen)

Taking your Dev Team on the UX Journey

Enrique Allen, D Fund - Warm Gun Conference

MDE first glance

2011/06/21 Microsoft Developer Day 2011—Design Decade

4 - Architetture Software - Architecture Portfolio

2022 COMP4010 Lecture 6: Designing AR Systems

Elevator pitch for testing software architecture and software design

Elevator pitch architecture design

The Future of Tools - Oasis 2021

24 Hours of UX - Agile + UX: Good, Bad, Ugly

Large Scale Data Management

Agile Infrastructure Velocity 09

Adapting usability for agile ucd fer

How Deep Learning Changes the Design Process #NEXT17

Se research update

Design Patterns Summer Course 2009-2010 - Session#1

Arif_resume

Mehr von hangal

Maclean.pptxhangal

Unifi hangal

Dunbarhangal

DIDUCE: ICSE-2002 presentationhangal

TSOtool - ISCA presentationhangal

isca-presohangal

Mehr von hangal (8)

Maclean.pptx

Unifi

Dunbar

DIDUCE: ICSE-2002 presentation

TSOtool - ISCA presentation

isca-preso

Kürzlich hochgeladen

New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024BookNet Canada

Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024BookNet Canada

FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhisoniya singh

Vulnerability_Management_GRC_by Sohang Sengupta.pptxnull - The Open Security Community

Install Stable Diffusion in windows machinePadma Pradeep

Presentation on how to chat with PDF using ChatGPT code interpreternaman860154

#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024BookNet Canada

The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad

Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson

Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar

Key Features Of Token Development (1).pptxLBM Solutions

SIEMENS: RAPUNZEL – A Tale About Knowledge GraphNeo4j

Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC

Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm

DMCC Future of Trade Web3 - Special EditionDubai Multi Commodity Centre

My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar

Pigging Solutions in Pet Food ManufacturingPigging Solutions

Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptxnull - The Open Security Community

Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106

Kürzlich hochgeladen (20)

New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024

Transcript: New from BookNet Canada for 2024: BNC BiblioShare - Tech Forum 2024

FULL ENJOY 🔝 8264348440 🔝 Call Girls in Diplomatic Enclave | Delhi

Vulnerability_Management_GRC_by Sohang Sengupta.pptx

Install Stable Diffusion in windows machine

Presentation on how to chat with PDF using ChatGPT code interpreter

#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024

The Codex of Business Writing Software for Real-World Solutions 2.pptx

Are Multi-Cloud and Serverless Good or Bad?

Unleash Your Potential - Namagunga Girls Coding Club

Key Features Of Token Development (1).pptx

SIEMENS: RAPUNZEL – A Tale About Knowledge Graph

Breaking the Kubernetes Kill Chain: Host Path Mount

Streamlining Python Development: A Guide to a Modern Project Setup

DMCC Future of Trade Web3 - Special Edition

My Hashitalk Indonesia April 2024 Presentation

Pigging Solutions in Pet Food Manufacturing

Making_way_through_DLL_hollowing_inspite_of_CFG_by_Debjeet Banerjee.pptx

Connect Wave/ connectwave Pitch Deck Presentation

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics

IODINE - DAC presentation

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. 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 ...