This paper presents a novel approach to automated stripboard circuit layout design using Answer Set Programming (ASP). The work formulates the layout problem as both a synthesis and multi-objective optimization task that simultaneously generates viable layouts while minimizing board area and component strip crossing. By leveraging ASP's declarative nature, this work expresses complex geometric and electrical constraints in a natural and concise manner. The two-phase solving methodology first ensures feasibility before optimizing layout quality. Experimental results demonstrate that this approach generates compact, manufacturable layouts for a range of circuit complexities. This work represents a significant advancement in automated stripboard layout, offering a practical tool for electronics prototyping and education while showcasing the power of declarative programming for solving complex design automation problems.
翻译:本文提出了一种利用回答集编程(ASP)实现条板电路布局自动设计的新方法。该工作将布局问题形式化为一个综合与多目标优化任务,在生成可行布局的同时最小化电路板面积与元件条带交叉。通过发挥ASP的声明式特性,本研究以自然简洁的方式表达了复杂的几何约束与电气约束。两阶段求解方法首先确保布局可行性,随后优化布局质量。实验结果表明,该方法能为不同复杂度的电路生成紧凑且可制造的布局。本工作代表了条板自动布局领域的重大进展,为电子原型设计与教育提供了实用工具,同时展示了声明式编程在解决复杂设计自动化问题方面的强大能力。