A verification method for array-based vision chip using a fixed-point neural network simulation tool.
Mingxin ZhaoXuemin ZhengKe NingChunhe YaoQian LuoShuangming YuLiyuan LiuNanjian WuPublished in: LASCAS (2020)
Keyphrases
- fixed point
- simulation tool
- verification method
- neural network
- model checking
- simulation model
- simulation environment
- temporal logic
- computer vision
- vision system
- sufficient conditions
- human computer
- dynamical systems
- belief propagation
- floating point
- fixed point theorem
- image processing
- activation function
- policy iteration
- human computer interaction
- constraint databases
- user interface
- machine learning