Test Generation for Large-Scale Combinational Circuits by Using Prolog.
Yoshihiro TohmaKenji GotoPublished in: LP (1987)
Keyphrases
- test generation
- test cases
- symbolic execution
- logic circuits
- design automation
- test sequences
- static analysis
- asynchronous circuits
- expert systems
- real world
- quality assurance
- software testing
- logic programming
- knowledge representation
- circuit design
- regression testing
- source code
- high speed
- programming language
- mutation testing