PLA based synthesis and testing of hazard free logic.
U. K. BhattacharyyaIdranil Sen GuptaS. Shyama NathP. DuttaPublished in: VLSI Design (1995)
Keyphrases
- logic synthesis
- logic programming
- functional programs
- predicate logic
- classical logic
- modal logic
- risk assessment
- program synthesis
- epistemic logic
- multi valued
- software testing
- real time
- test cases
- search engine
- statistical tests
- test suite
- automated reasoning
- source code
- multi agent
- genetic algorithm
- information retrieval
- dynamic logic
- machine learning
- databases