VLIW: a case study of parallelism verification.
Allon AdirYaron ArbetmanBella DubrovYossi LichtensteinMichal RimonMichael VinovMassimo A. CalligaroAndrew CoflerGabriel DuffyPublished in: DAC (2005)
Keyphrases
- level parallelism
- case study
- model checking
- test bed
- neural network
- parallel computing
- shared memory
- computational power
- face verification
- parallel computation
- formal verification
- data parallelism
- e learning
- real world
- massively parallel
- formal analysis
- signature verification
- test generation
- parallel execution
- asynchronous circuits
- high security
- verification method
- real time