Les d’IP), sociétés Arm (fourniture Renesas (fabricants de composants) et Synopsys (éditeur d’outils de CAO) ont défini ensemble une méthodologie de vérification adaptée aux designs de circuits basse consommation. Celle-ci est documentée dans un ouvrage intitulé « Verification methodology manual for low power design »(VMM-LP) qui fournit une bibliothèque de vérification, sous la forme de code

…