TED+: a data structure for microprocessor verification.
Pejman Lotfi-KamranMohammad HosseinabadyHamid ShojaeiMehran MassoumiZainalabedin NavabiPublished in: ASP-DAC (2005)
Keyphrases
- data structure
- functional verification
- model checking
- formal verification
- space efficient
- efficient data structures
- face verification
- r tree
- design methodology
- index structure
- high speed
- quadtree
- input output
- dependency graph
- special purpose hardware
- suffix tree
- verification method
- asynchronous circuits
- person identification
- circuit design
- formal methods
- databases
- itemsets
- digital libraries
- neural network