Method for designing integrated circuit, involves determining minimal number of transitions of states of representation of circuit based on number of iterations, and comparing outputs of representations of circuit for minimal number
The method involves determining (302) a minimum number of transitions of states of representation of circuit by calculating computing characteristic functions associated with a group of registers based on a number of input variables by a processing device. The functions are compared for the first gr...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Patent |
| Sprache: | eng ; fre |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The method involves determining (302) a minimum number of transitions of states of representation of circuit by calculating computing characteristic functions associated with a group of registers based on a number of input variables by a processing device. The functions are compared for the first group of registers for and second successive iterations. Minimal number of transitions of states is determined based on the number of iterations if the characteristic functions agree. Outputs of representations of the circuit are compared (303) for minimal number of transitions. Independent claims are also included for the following: (1) a processing device for implementing a method for designing a circuit (2) a computer readable storage device storing a computer program comprising instructions for implementing a method for designing a circuit.
L'invention concerne un procédé de vérification par un dispositif de traitement de ce que des première et seconde représentations de circuit sont fonctionnellement équivalentes comprenant : déterminer un nombre minimum de transitions d'états de la première représentation de circuit pour atteindre tous ses états en : calculant pour chaque première et seconde itérations successives d'au moins une partie de la première représentation de circuit, une première fonction caractéristique associée à un premier groupe de r registres et sur la base d'un nombre mvar de variables d'entrée ; comparant les premières fonctions caractéristiques calculées pour le premier groupe de registres pour les première et seconde itérations successives; et si les premières fonctions caractéristiques concordent, déterminant le nombre minimal de transitions d'états sur la base du nombre d'itérations réalisées jusqu'à la seconde itération ; et comparer les sorties des première et seconde représentations de circuit pour le nombre minimal de transitions d'états. |
|---|