Seminar 
Author Message
 Seminar

Formal Solutions for Static Verification: An ASIC and IC Design
Verification
Seminar

Register at http://www.*-*-*.com/

Verification is the critical path for complex ASICs and ICs. Formal
verification tools are the foundation of a static verification
methodology
that:

     Cuts verification time and cost and
     Increases verification coverage and quality.

Chrysalis technology integrates equivalence checking with model checking
and
the new Formal Design Rule Check tools to deliver the only complete
formal
solution.

This seminar will cover:

     Static Verification Methodology
          What it is and how it is evolving

     Formal Design Rule Checks
          How they automate functional verification of logic design
rules

     Formal Model Checking
          How it addresses block-level functional verification to reduce

simulation costs

     Formal Equivalence Checking
          How it replaces gate-level simulation to ensure accurate
implementation from
          synthesis and schematics to tapeout.

     Chrysalis Technology
          How it integrates formal tools to support static functional
verification

Dates and Locations:

     Tuesday, May 18th at the Westin Hotel
     Santa Clara, CA

     Wensday, May 19th at the Best Western Gateway Hotel
     Rockville, MD

     Tuesday, May 25th at the Radisson Heritage Hotel
     Chelmsford, MA

     Thursday, June 3rd at the Radisson Governors Inn
     Research Triangle Park, NC

Times:

      8:30 AM
             Continental Breakfest
      9:00 AM
             Welcome
      9:15 AM
             Formal Solutions for Static Verification
      11:00 AM
             Demonstration of Formal Solutions

Register at http://www.*-*-*.com/
or call 978/436-9909.

--
-------------------------------------------------------
Tom Jackson
Director of Corporate Marketing
Chrysalis Symbolic Design, Inc.
101 Billerica Avenue, Bldg. 5
N. Billerica, Massachusetts 01862
ph: 978.436.9909
fax: 978.436.9697



Sat, 27 Oct 2001 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Free APL2 seminar at L.A. City College

2. Computing seminar for mathematics teachers

3. APL User Group Seminar

4. APL2 Seminars

5. Tool of Thought seminar in Manhattan

6. Report of the ESUG'99 Seminars

7. FinnAPL Seminar VI programme

8. FinnAPL Seminar VI invitation

9. The 5th annual Finnish APL seminar

10. Finnish "Forest Seminar"

11. FinnAPL Seminar 4.-5.2.1999 (Corr.)

12. Correction: FinnAPL seminar 4.-5. Feb 1999

 

 
Powered by phpBB® Forum Software