Abstract | ||
---|---|---|
As personal fabrication becomes increasingly accessible and popular, a larger number of makers, many without formal training, are dabbling in embedded and electronics design. However, existing general-purpose, board-level circuit design techniques do not share desirable properties of modern software development, like rich abstraction layers and automated compiler checks, which facilitate powerful tools that ultimately lower the barrier to entry for programming, by allowing a higher level of design-separating specification from implementation-and providing automated guidance and feedback. In this paper, we present a novel methodology for embedded design generation that allows the generation of complete designs from high-level specifications. We present an implementation capable of synthesizing a variety of examples to show that our approach is viable. Starting from user-specified requirements and a library of available components, our tool encodes the design space as a system of constraints. Off-the-shelf solvers then reason over these constraints to create a block diagram with sufficient information to generate the device firmware and circuit netlist. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1145/3083157.3083159 | SCF |
DocType | ISBN | Citations |
Conference | 978-1-4503-4999-4 | 0 |
PageRank | References | Authors |
0.34 | 4 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rohit Ramesh | 1 | 2 | 1.73 |
Richard Lin | 2 | 6 | 2.55 |
Antonio Iannopollo | 3 | 14 | 2.59 |
Alberto L. Sangiovanni-Vincentelli | 4 | 11385 | 1881.40 |
Bjorn-Oliver Hartmann | 5 | 3151 | 177.43 |
P. Dutta | 6 | 3612 | 267.92 |