procédé permettant de concevoir un circuit à faible consommation de courant mettant en oeuvre une fonctionnalité déterminée, ledit procédé consistant à analyser un code pour une description algorithmique de la fonctionnalité déterminée afin de produire une représentation de conception du circuit au niveau algorithmique
a method of designing a low power circuit that implements specified functionality, the method including: analyzing code for an algorithmic description of the specified functionality to generate a design representation of the circuit at the algorithmic level
Cette invention fait appel à une approche ascendante de description d'un système sur puce, elle fait appel à des descriptions algorithmiques de chacun des composants du système sur puce et accepte une description algorithmique du système sur puce tout entier ou de parties de ce dernier.
The present invention supports algorithmic descriptions of each of the components of the system- on-chip, and supports an algorithmic description of interconnections between the components of the system-on-chip, thereby enabling generation of an algorithmic description of the entire system-on-chip or portions of the system- on-chip.
En outre, les propriétés sur l'évolution des variables d'induction des boucles ont été automatiquement extraites de la description algorithmique de l'accélérateur matériel.
In addition, the properties over the evolution of loops induction variables are automatically extracted from the algorithmic description of HWacc.
à équiper le code pour la description algorithmique afin de capturer les flux de données pendant l'exécution/simulation de la description algorithmique
instrumenting the code for the algorithmic description so as to capture data streams during execution/simulation of the algorithmic description
à exécuter/simuler le code équipé pour produire d'un profil d'activité pour la description algorithmique, ledit profil d'activité comprenant au moins des parties de traces de données au moins d'une partie de la description algorithmique exécutée
executing/simulating the instrumented code to generate an activity profile for the algorithmic description, wherein said activity profile includes at least portions of data traces of at least a portion of the executed algorithmic description
En particulier, ils proposent une méthode pour la transformation des assertions booléennes spécifiées dans la description algorithmique d'une application en moniteurs matériels pour la simulation.
The first one deals with the transformation of Boolean assertions found in algorithmicdescriptions into equivalent temporal assertions in the RTL description generatedby high-level synthesis (HLS) methodologies.
