(Invited) Verification of Content Addressable Memory-based massive-parallel SIMD matriX core.
Kyosuke KageyamaPublished in: ATAIT (2023)
Keyphrases
- content addressable
- massively parallel
- parallel implementation
- parallel processing
- single instruction multiple data
- processor array
- parallel algorithm
- parallel architectures
- parallel computing
- model checking
- parallel programming
- array processor
- shared memory
- computer architecture
- highly parallel
- linear algebra
- data analysis
- singular value decomposition
- e government
- database