Verification of Synchronous Elastic Processors.
Sudarshan K. SrinivasanKoushik SarkerRajendra S. KattiPublished in: IEEE Embed. Syst. Lett. (2009)
Keyphrases
- parallel algorithm
- model checking
- parallel processing
- verification method
- parallel computing
- formal verification
- high end
- shared memory
- data sets
- elastic matching
- person identification
- formal methods
- embedded processors
- multiprocessor systems
- instruction set
- parallel architectures
- search algorithm
- data structure
- case study