On the Feasibility of Synthesizing CAD Software from Specifications: Generating Maze Router Tools in ELF

Keyphrases

• Algorithm Design 50%
• Alternative Design 50%
• Application Requirements 50%
• Automatically Generate 50%
• CAD Software 100%
• Code Generation 100%
• Code Synthesis 50%
• Design Style 100%
• Design Tools 50%
• Executable Code 50%
• High-level Language 50%
• High-level Specification 50%
• Industrial Benchmark 50%
• Maze Router 100%
• Maze Routing 50%
• Program Synthesis 50%
• Refinement Process 50%
• Router 50%
• Router Tools 100%
• Routing Software 50%
• Second Application 50%
• Stepwise Refinement 50%
• Synthesis Methods 100%
• Synthetic Benchmarks 50%
• VLSI Physical Design 50%

Computer Science

• Algorithm Design 33%
• Alternative Design 33%
• Application Requirement 33%
• Code Generation 66%
• Computer Aided Design 100%
• Data Structure 100%
• Executable Code 33%
• Experimental Result 33%
• Physical Design 33%
• Program Synthesis 33%
• Router Implementation 33%
• Stepwise Refinement 33%
• Synthesis Technique 66%
• Target Technology 33%
• Very High-Level Language 33%