Neural Circuit Synthesis from Specification Patterns
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd, Finkbeiner

TL;DR
This paper introduces a method using hierarchical Transformers trained on synthetically generated data to synthesize hardware circuits from high-level logical specifications, improving performance on benchmark problems.
Contribution
It presents a novel data generation approach for training neural models on LTL synthesis, enabling effective circuit synthesis from specifications.
Findings
Transforms solve a significant portion of benchmark problems.
Models outperform on out-of-distribution cases.
Synthetic data closely resembles human-written specifications.
Abstract
We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical specifications in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might open a lot of possibilities in this area, but suffer from the lack of sufficient amounts of training data. In this paper, we consider a method to generate large amounts of additional training data, i.e., pairs of specifications and circuits implementing them. We ensure that this synthetic data is sufficiently close to human-written specifications by mining common patterns from the specifications used in the synthesis competitions. We show that hierarchical Transformers trained on this synthetic…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
Taxonomy
TopicsAdvanced Memory and Neural Computing · Neural Networks and Applications · Machine Learning in Materials Science
