Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming

TL;DR

This paper introduces a declarative, ASP-based method for automated stripboard circuit layout design that efficiently generates compact, manufacturable layouts while optimizing multiple objectives.

Contribution

It presents a novel two-phase ASP approach for simultaneous synthesis and multi-objective optimization of stripboard layouts, improving automation and design quality.

Findings

Generates compact, manufacturable layouts for various circuit complexities

Effectively balances multiple objectives like area minimization and crossing reduction

Demonstrates practical applicability in electronics prototyping and education

Abstract

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.