Use Case Study: Gearbox x Lagrange Coprocessor AVS