Physical Verification at Advanced Technology Nodes and the Road Ahead.
Juan C. ReyPublished in: ISPD (2021)
Keyphrases
- advanced technology
- digital libraries
- information technology
- manufacturing companies
- shortest path
- road network
- road traffic
- formal verification
- aerial images
- graph structure
- autonomous driving
- asynchronous circuits
- model checking
- data sets
- physical world
- signature verification
- lecture notes
- traffic monitoring
- directed graph
- detection algorithm
- machine learning
- real world