Enhanced TED: A New Data Structure for RTL Verification.
Pejman Lotfi-KamranMehran MassoumiMohammad MirzaeiZainalabedin NavabiPublished in: VLSI Design (2008)
Keyphrases
- data structure
- model checking
- quadtree
- main memory
- suffix tree
- efficient data structures
- face verification
- model based diagnosis
- space efficient
- index structure
- formal verification
- fingerprint verification
- similarity measure
- information systems
- signature verification
- formal analysis
- r tree
- multidimensional data
- database
- frequent patterns
- multi dimensional
- nearest neighbor
- data mining