77
Voted
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...