1 résultat(s)
Télécharger le livre : Polynomial Formal Verification of Approximate Functions
Martha Schnieber
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
Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande