Télécharger le livre :  Polynomial Formal Verification of Approximate Functions
Ajouter à ma liste d'envies
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the...

Editeur : Springer Vieweg
Parution : 2023-07-22
Collection : BestMasters
PDF, ePub

105,49