Events
Real-world Applications of Formal Verification
- Venue:
Beaumont Estate Hotel, Burfield Road, Old Windsor, Berkshire, SL4 2JJ
- Date:
- Wed 22 Feb 2012
This full-day, seminar will be given by technical experts for verification experts.
Join Jasper Design Automation as we show you how to solve critical verification challenges using state-of-the-art formal technology.
Modelling for Verification - AMS and Beyond
- Venue:
Fujitsu Semiconductors, Maidenhead, Berkshire
- Date:
- Tue 28 Feb 2012
All forms of verification rely on good quality models.
Boundary Scan Workshop
- Venue:
XJTAG office, Cambridge, UK
- Date:
- Wed 29 Feb 2012
This full-day session is designed to provide design, development, test, and production engineers with a practical hands-on introduction to boundary scan.
| « February 2012 » | ||||||
|---|---|---|---|---|---|---|
| S | M | T | W | T | F | S |
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | |||
| « March 2012 » | ||||||
|---|---|---|---|---|---|---|
| S | M | T | W | T | F | S |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| « April 2012 » | ||||||
|---|---|---|---|---|---|---|
| S | M | T | W | T | F | S |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 8 | 9 | 10 | 11 | 12 | 13 | 14 |
| 15 | 16 | 17 | 18 | 19 | 20 | 21 |
| 22 | 23 | 24 | 25 | 26 | 27 | 28 |
| 29 | 30 | |||||
| « May 2012 » | ||||||
|---|---|---|---|---|---|---|
| S | M | T | W | T | F | S |
| 1 | 2 | 3 | 4 | 5 | ||
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | 31 | ||
Previous 4 months