Scribd Logo
Upload

Welcome to Scribd!

  • 26 views

    Teaching Functional Verification: Design Automation Conference Sunday, June 9, 2002

    Uploaded by

    2005.discover
    The document summarizes a workshop on teaching functional verification. The workshop goals were to share experiences teaching functional verification, collaborate on expanding computer engineering curriculums to include it, and extend teaching resources. The agenda covered an overview, textbook reviews, course structure, labs, testbenches, and formal verification. It emphasizes that verification is important for meeting schedules, costs and quality in chip design, and that there is now an established foundation for universities to build verification coursework.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PPT, PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Teaching Functional Verification: Design Automation Conference Sunday, June 9, 2002

    Uploaded by

    2005.discover
    26 views12 pages
    The document summarizes a workshop on teaching functional verification. The workshop goals were to share experiences teaching functional verification, collaborate on expanding computer engineering curriculums to include it, and extend teaching resources. The agenda covered an overview, textbook reviews, course structure, labs, testbenches, and formal verification. It emphasizes that verification is important for meeting schedules, costs and quality in chip design, and that there is now an established foundation for universities to build verification coursework.

    Original Description:

    Original Title

    1

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PPT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document summarizes a workshop on teaching functional verification. The workshop goals were to share experiences teaching functional verification, collaborate on expanding computer engineering curriculums to include it, and extend teaching resources. The agenda covered an overview, textbook reviews, course structure, labs, testbenches, and formal verification. It emphasizes that verification is important for meeting schedules, costs and quality in chip design, and that there is now an established foundation for universities to build verification coursework.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PPT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as ppt, pdf, or txt
    26 views12 pages

    Teaching Functional Verification: Design Automation Conference Sunday, June 9, 2002

    Uploaded by

    2005.discover
    The document summarizes a workshop on teaching functional verification. The workshop goals were to share experiences teaching functional verification, collaborate on expanding computer engineering curriculums to include it, and extend teaching resources. The agenda covered an overview, textbook reviews, course structure, labs, testbenches, and formal verification. It emphasizes that verification is important for meeting schedules, costs and quality in chip design, and that there is now an established foundation for universities to build verification coursework.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PPT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as ppt, pdf, or txt
    of 12

    Teaching Functional Verification

    Design Automation Conference Sunday, June 9, 2002

    Workshop Goals

    Share experiences in teaching functional verification Initiate collaborative efforts to extend the teaching of functional verification Expand Computer Engineering curriculums to include functional verification

    Agenda

    Workshop Overview Textbook Overviews Course Organization and Management Lab Exercise Overview Automated Testbench Concepts Formal Verification and Rulebase

    Why is verification so important to the chip industry?

    Verification is the single biggest lever to effect the triple constraints: Schedule, Cost, & Quality

    Fewer revs through the fabrication process means lower costs and faster time-to-market Re-spinning a chip costs:

    Hundreds of thousands of dollars 6-8 weeks

    So if you can get it right in fewer "passes", you WIN!!!

    What Industry Has Found

    The system and chip industry depends on functional verification Theres a science and methodology behind verification Verification has a separate career path from logic and circuit design

    Course Evolution

    IBM internal class


    Initial 2 day class with 1 lab Current 2 week (80 hour) format

    University Partnerships followed initial course

    University Participation

    Penn State, Pittsburgh and North Carolina State have completed full semester courses on functional verification Active class at Ohio State (quarters) Theres now a foundation of resources for other university professors to build upon

    Notes:

    Web address:

    http://www.cse.psu.edu/~vijay/verify/instructors.html Open to university professors doing verification classwork. Industry access granted for adding to body of knowledge.

    Tool/Vendor specifics

    Universities should take advantage of any current vendor agreements they have Materials are vendor agnostic

    Simulation engines, Specman, VERA

    Recognition for all slides must be maintained

    Contacts

    Vijay Narayanan, PSU (vijay@cse.psu.edu) (Web page owner) Steve Levitan, Pitt (steve@ee.pitt.edu) John Goss, NCSU (gossman@us.ibm.com) Bruce Wile, IBM (bwile@us.ibm.com) Matthew Morley, Verisitys University partnerships (matthew@verisity.com Yaron Wolfsthal, IBMs Rulebase (wolfstal@il.ibm.com) Janick Bergeron, Qualis Corp, Writing Testbenches textbook, & Verification Guild Newsletter (janick@bergeron.com) Faisal Haque, Cisco, Art of Verification textbook (fhaque@cisco.com)

    Blank page for your notes

    Blank page for your notes

    You might also like