KiCad — от рисования к программированию (Антон Павлов, SECR-2019)

Короткая ссылка: 20191115DD

Докладчик: Антон Павлов

KiCad — свободно распространяемая САПР для проектирования печатных плат. KiCad является популярнейшим средством разработки открытого аппаратного обеспечения (Open-Source Hardware, OSH).
В докладе описывается подход, позволяющий дополнить KiCad средствами разработки принципиальных схем посредством написания программ на расширяемом предметно-ориентированном языке (Domain-Specific Language, DSL).
Ключевой идеей предложенного подхода является использование сходства логического программирования с ограничениями (Constraint Logic Programming) и абдуктивного логического программирования (Abductive Logic Programming), что позволяет реализовать анализ и синтез схем в условиях неполной информации с помощью процедуры абдуктивного логического вывода, в котором выводимые абдукцией заключения соответствуют частям схем и представлены ограничениями.

KiCad is a freely available CAD system for printed circuit board layout design. It is widely used to implement the open source hardware.
An approach to extend and enhance the KiCad user experience to develop such a design is proposed, using an extensible domain specific language.
The key idea of the proposed approach is to employ the similarities between constraint logic programming and abductive logic programming. This enables the schematic design analysis and synthesis to be both implemented with an abductive inference procedure, wherein abducibles (corresponding to schematic diagram parts) are modeled as constraints.