solvers.SynthesisSolver

solvers.SynthesisSolver()

Given an SLA, synthesizes the required hardware specs (Wall 22: Inverse Solve).

This solver inverts the Roofline model to derive minimum hardware specifications required to meet a target latency SLA.

Literature Source: 1. Williams et al. (2009), “Roofline Model.” 2. Jouppi et al. (2017), “In-Datacenter Performance Analysis of a TPU.”

Methods

Name Description
solve Synthesizes hardware requirements from an SLA target.

solve

solvers.SynthesisSolver.solve(
    model,
    target_latency,
    precision='fp16',
    efficiency=0.5,
)

Synthesizes hardware requirements from an SLA target.

Back to top