Propagation of Constraints Applied to Circuit Synthesis
A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis techniques are either restricted to small, precisely defined classes of circuit fu...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5745 |
| _version_ | 1811088469108195328 |
|---|---|
| author | Kleer, Johan de Sussman, Gerald Jay |
| author_facet | Kleer, Johan de Sussman, Gerald Jay |
| author_sort | Kleer, Johan de |
| collection | MIT |
| description | A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis techniques are either restricted to small, precisely defined classes of circuit functions for which exact mathematical methods exist or they depend upon numerical optimization methods in which it is difficult to determine the basis for any of the answers generated and their relations to the design desiderata and constraints. We are developing a symbolic computer-aided design tool, SYN, which can be of assistance to an engineer in the synthesis of a large class of circuits. The symbolic methods produce solutions which are clear and insightful. The dependence of each parameter on the individual design desiderata and circuit constraints can be easily traced. |
| first_indexed | 2024-09-23T14:02:38Z |
| id | mit-1721.1/5745 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T14:02:38Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57452019-04-11T03:39:40Z Propagation of Constraints Applied to Circuit Synthesis Kleer, Johan de Sussman, Gerald Jay A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis techniques are either restricted to small, precisely defined classes of circuit functions for which exact mathematical methods exist or they depend upon numerical optimization methods in which it is difficult to determine the basis for any of the answers generated and their relations to the design desiderata and constraints. We are developing a symbolic computer-aided design tool, SYN, which can be of assistance to an engineer in the synthesis of a large class of circuits. The symbolic methods produce solutions which are clear and insightful. The dependence of each parameter on the individual design desiderata and circuit constraints can be easily traced. 2004-10-01T20:33:43Z 2004-10-01T20:33:43Z 1978-09-01 AIM-485 http://hdl.handle.net/1721.1/5745 en_US AIM-485 28 p. 6504363 bytes 5137911 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Kleer, Johan de Sussman, Gerald Jay Propagation of Constraints Applied to Circuit Synthesis |
| title | Propagation of Constraints Applied to Circuit Synthesis |
| title_full | Propagation of Constraints Applied to Circuit Synthesis |
| title_fullStr | Propagation of Constraints Applied to Circuit Synthesis |
| title_full_unstemmed | Propagation of Constraints Applied to Circuit Synthesis |
| title_short | Propagation of Constraints Applied to Circuit Synthesis |
| title_sort | propagation of constraints applied to circuit synthesis |
| url | http://hdl.handle.net/1721.1/5745 |
| work_keys_str_mv | AT kleerjohande propagationofconstraintsappliedtocircuitsynthesis AT sussmangeraldjay propagationofconstraintsappliedtocircuitsynthesis |