CPC G06F 30/00 (2020.01) [G06F 17/11 (2013.01); G06F 2111/20 (2020.01)] | 7 Claims |
1. A system comprising:
at least one processor; and
at least one memory including computer program code;
the at least one memory and the computer program code configured to, with the at least one processor, cause the system to:
construct a design space grammar using a library of components by considering all possible ways that each component in the library is able to connect to an interface;
wherein the interface comprises a bounded set of connections that either are configured to connect to a component of the components, or are configured to connect to another interface, wherein the interface is a primary interface; and
the at least one memory and the computer program code are further configured to, with the at least one processor, cause the system to:
determine equations associated with a component of the components in the design space grammar;
determine equations associated with each equivalence class of a dependent interface of the component; and
solve equations associated with the design space grammar by:
(i) combining the equations associated with the component of the components in the design space with the equations associated with each equivalence class of the dependent interface of the component;
(ii) simplifying the combined equations by putting the combined equations in a standard form; and
(iii) putting the simplified, combined equations into an equivalence class of the primary interface.
|