Test generation for combinational quantum cellular automata (QCA) circuits.
Pallav GuptaNiraj K. JhaLoganathan LingappanPublished in: DATE (2006)
Keyphrases
- cellular automata
- test generation
- logic circuits
- low power
- test cases
- quantum computing
- symbolic execution
- static analysis
- design automation
- cellular automaton
- cellular automata model
- power dissipation
- cellular automaton model
- quality assurance
- power consumption
- discrete dynamical systems
- pattern formation
- software testing
- potts model
- lattice gas
- code coverage
- chaotic dynamics
- traffic flow
- pedestrian dynamics