|
Monday and Thursday, February, 2004
This promises to be another busy show for Doulos.
Not only will we be showcasing a number of new and enhanced
courses at stand 2125, we will also be running two 3 hour Design
Workshops at the CNIT, La Defense.
Doulos Workshops
Open to anyone, these intensive training classes are packed
with valuable technical information on key design and verification
topics, presented by Europe's top SoC training experts.
Organiser: Doulos
| Thursday 14:00 - 17:00
Doulos Workshop |
Room Daguerre |
| An Independent Introduction
to Property Languages and Assertion-based Verification |
| |
|
| Discover the verification
potential of specialised property languages; OVL,
PSL, SVA and e. In this concentrated class you will
learn how properties can be used to express 'assertions',
'assumptions' and achieve functional coverage, plus
how the tools and methods exploit the use of properties.
For further details and online registration visit
www.doulos.com/date/ |
|
|
|
|
