Télécharger le livre :  Polynomial Formal Verification of Approximate Functions
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

Téléchargement immédiat
Dès validation de votre commande