graph TD subgraph "Monomial" M["c xโ^{aโ} xโ^{aโ} โฏ xโ^{aโฟ}"] end subgraph "Posynomial" P["ฮฃ cโ xโ^{aโโ} xโ^{aโโ} โฏ xโ^{aโโ}"] end M --> P P --> GP[GP Constraint fแตข(x) โค 1] style M fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440 style P fill:#e3f2fd,stroke:#1565c0,stroke-width:3px,color:#2e3440 style GP fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440
graph LR A[GP Problem] --> B["xแตข = e^yแตข"] B --> C[Convex Problem] C --> D[Solve via Interior-Point] D --> E["y* โ x* = e^y*"] style A fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440 style B fill:#e3f2fd,stroke:#1565c0,stroke-width:3px,color:#2e3440 style C fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440 style D fill:#f3e5f5,stroke:#7b1fa2,stroke-width:3px,color:#2e3440 style E fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440
graph LR A[Specifications] --> B[GP Modeling] B --> C["Minimize: ฮฃ WแตขLแตข"] C --> D["Subject to: Delay โค T_max"] D --> E["Subject to: Power โค P_max"] E --> F[Optimal Transistor Sizes] style A fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440 style B fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440 style C fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440 style D fill:#e3f2fd,stroke:#1565c0,stroke-width:3px,color:#2e3440 style E fill:#f3e5f5,stroke:#7b1fa2,stroke-width:3px,color:#2e3440 style F fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440
graph TD A[EDA Problem] --> B[GP Formulation] B --> C[Change of Variables] C --> D[Convex Problem] D --> E[Interior-Point Solver] E --> F[Optimal Design] style A fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440 style B fill:#fff3e0,stroke:#e65100,stroke-width:3px,color:#2e3440 style C fill:#e3f2fd,stroke:#1565c0,stroke-width:3px,color:#2e3440 style D fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440 style E fill:#f3e5f5,stroke:#7b1fa2,stroke-width:3px,color:#2e3440 style F fill:#c8e6c9,stroke:#2e7d32,stroke-width:3px,color:#2e3440