Boolean verification with fastest LIA transforms.
Bogdan J. FalkowskiSusanto RahardjaPublished in: ISCAS (5) (2002)
Keyphrases
- model checking
- times faster
- boolean functions
- integer arithmetic
- formal verification
- real valued
- image sequences
- person identification
- functional verification
- feature selection
- false acceptance rate
- concurrent systems
- verification method
- boolean queries
- multi valued
- face verification
- hidden markov models
- artificial neural networks
- search algorithm
- case study
- e learning