242 search results - page 1 / 49 » Verification via Structure Simulation |
79
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
64
Voted
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
CADE
2005
Springer
16 years 16 days ago
2005
Springer
EURODAC
1995
IEEE
15 years 3 months ago
1995
IEEE
Verification of image processing systems is mainly done on the basis of image sequence simulations. To achieve high simulation efficiency, our compiled code simulator MSIPC offers...