Knowledge Representation and Reasoning in a Software Synthesis Architecture

Keyphrases

• Automatic Synthesis 50%
• CAD Tools 50%
• Cause-effect 50%
• Choice Method 50%
• Design Space 100%
• Domain-specific Knowledge 50%
• Efficient Coding 50%
• Industrial Tools 50%
• Interdependency 100%
• Knowledge Reasoning 100%
• Knowledge Representation 100%
• Level Decomposition 50%
• Physical Technology 50%
• Reasoning Strategy 50%
• Representation Method 50%
• Representational Strategies 50%
• Router 50%
• Routing Tool 50%
• Software Synthesis 100%
• VLSI Circuits 50%

Computer Science

• Computer Aided Design 50%
• Data Structure 50%
• Interdependency 100%
• Knowledge Representation and Reasoning 100%
• Level Decomposition 50%
• Program Synthesis 50%
• Reasoning Strategy 50%
• Representation Method 50%