DFT Static Verification using Early RTL Exploration and Debug for Mobile SoC and Edge AI Applications.
Vinod ViswanathKanad ChakrabortyPublished in: VLSID (2024)
Keyphrases
- mobile phone
- mobile devices
- frequency domain
- edge detection
- model checking
- low power
- mobile applications
- m learning
- model based diagnosis
- multiagent systems
- computing environments
- formal verification
- mobile computing
- edge information
- smart phones
- mobile technologies
- hardware and software
- discrete fourier transform
- knowledge representation and reasoning
- parallel programming
- weighted graph
- mobile services
- face verification
- mobile environments
- parallel computing
- mobile networks
- embedded systems
- fourier transform
- mobile learning
- wireless sensor networks