Verification and Testing Considerations of an In-Memory AI Chip.
Marcia GolmohamadiRyan JurasekWolfgang HokenmaierDonald LabrecqueRuoyu ZhiBret DaleNibir IslamDave KinneyAngela JohnsonPublished in: NATW (2020)
Keyphrases
- functional verification
- formal verification
- test generation
- artificial intelligence
- model checking
- high speed
- symbolic execution
- memory subsystem
- expert systems
- low cost
- ai systems
- memory requirements
- high density
- multithreading
- random access memory
- intelligent systems
- machine learning
- ai technologies
- analog vlsi
- john mccarthy
- main memory
- knowledge representation
- memory access
- memory space
- computing power
- processor core
- neural network
- vlsi implementation
- digital signal processors
- speculative execution