Functional VerificationΒΆ

Note

Here will be soon a detailed description of the methods used in FINN to functionally verify a model.