CORDIC

CORDIC (sigle de COordinate Rotation DIgital Computer, « calcul numérique par rotation de coordonnées ») est un algorithme de calcul des fonctions trigonométriques et hyperboliques, notamment utilisé dans les calculatrices. Il a été décrit pour la première fois en 1959 par Jack E. Volder. Il ressemble à des techniques qui avaient été décrites par Henry Briggs en 1624.

Il s'agit d'un algorithme de choix lorsque aucune implantation matérielle d'un multiplicateur n'est disponible (sur certains microcontrôleurs simples ou des FPGA). De plus, l'algorithme du CORDIC s'adapte bien au calcul à la chaîne. À l'origine, la programmation du CORDIC reposait sur un système binaire.

Durant les années 1970, les versions décimales du CORDIC (avec des nombres codés en BCD) commencèrent à apparaître, notamment dans les calculatrices où les critères de coût du matériel sont plus importants que la vitesse de traitement. Un autre avantage du CORDIC est sa flexibilité puisqu'il permet de calculer plusieurs fonctions avec quasiment le même code.

Description

CORDIC permet de déterminer le sinus ou le cosinus d'un angle donné en radians sous un format à virgule fixe. Pour trouver le sinus ou le cosinus d'un angle $β$ , on recherche la coordonnée x ou y du point du cercle unité lui correspondant. CORDIC commence les calculs avec un vecteur $v 0$ tel que :

v_{0}={\begin{pmatrix}1\\0\end{pmatrix}}

Durant la première itération, le vecteur subit une rotation de 45° dans le sens anti-horaire (sens trigonométrique) afin d'obtenir un nouveau vecteur $v 1$ . Des itérations successives doivent engendrer une rotation du vecteur dans la bonne direction. À chaque itération, la rotation est faite d'un angle prédéterminé et moindre que le précédent. Ceci jusqu'à converger vers l'angle voulu.

Illustration de plusieurs itérations de CORDIC

Plus formellement, à chaque itération $i$ , on calcule un nouveau vecteur grâce à la multiplication du vecteur $v i$ avec la matrice de rotation $R i$ :

v_{i+1}=R_{i}v_{i}\

La matrice de rotation $R i$ s'obtient selon la formule suivante :

R_{i}={\begin{pmatrix}\cos \gamma _{i}&-\sigma _{i}\sin \gamma _{i}\\\sigma _{i}\sin \gamma _{i}&\cos \gamma _{i}\end{pmatrix}}

Le facteur $σ i$ prend les valeurs +1 ou -1 et sert à indiquer le sens de la rotation, $γ i$ restant positif.

En factorisant par le terme $cos(γ i)$ , on obtient :

v_{i+1}=R_{i}v_{i}=\cos \gamma _{i}{\begin{pmatrix}1&-\sigma _{i}\tan \gamma _{i}\\\sigma _{i}\tan \gamma _{i}&1\end{pmatrix}}{\begin{pmatrix}x_{i}\\y_{i}\end{pmatrix}}

Si l'on restreint les choix possibles pour l'angle $γ i$ de manière que $tan(γ i)$ soit égal à $2 - i$ alors la multiplication par la tangente devient une multiplication par une puissance de 2. Une opération aisée à réaliser informatiquement puisqu'en binaire il s'agit d'un décalage de bits.

Le calcul devient :

v_{i+1}=R_{i}v_{i}=\cos(\arctan(2^{-i})){\begin{pmatrix}1&-\sigma _{i}2^{-i}\\\sigma _{i}2^{-i}&1\end{pmatrix}}{\begin{pmatrix}x_{i}\\y_{i}\end{pmatrix}}=K_{i}{\begin{pmatrix}x_{i}-\sigma _{i}2^{-i}y_{i}\\x_{i}\sigma _{i}2^{-i}+y_{i}\end{pmatrix}}

avec

K_{i}=\cos(\arctan(2^{-i}))\

Ces coefficients $K i$ peuvent être ignorés pendant les itérations et factorisés en un seul coefficient multiplicatif final (dépendant de $n$ ) :

K(n)=\prod _{i=0}^{n-1}K_{i}=\prod _{i=0}^{n-1}\cos(\arctan(2^{-i}))=\prod _{i=0}^{n-1}{\frac {1}{\sqrt {1+2^{-2i}}}}

qui peut être calculé à l'avance et prémémorisé. Également, lorsque $n$ tend vers l'infini, ce produit tend vers une constante :

K=\lim _{n\to \infty }K(n)\approx 0,6073

(0,60725294…)

Après suffisamment d'itérations, l'angle du vecteur sera proche de l'angle $β$ voulu.

La dernière étape consiste à déterminer à chaque itération le sens de rotation, trigonométrique ou horaire (un résultat reporté sur la valeur de $σ i$ ). Pour ce faire, on considère la valeur actuelle de l'angle $β i$ du vecteur, que l'on soustrait à l'angle désiré. On teste si cette différence est positive (rotation dans le sens horaire) ou négative (sens trigonométrique), ce qui détermine la valeur de $σ i$ de façon à s'approcher de l'angle $β$ :

\beta _{i+1}=\beta _{i}-\sigma _{i}\gamma _{i}.\quad \gamma _{i}=\arctan 2^{-i}

Les valeurs des $γ i$ sont précalculées dans une table prémémorisée de valeurs. Toutefois, pour des angles petits, on utilise l'approximation $arctan(2 - i)$ ≈ $2 - i$ dans une représentation en virgule fixe, permettant ainsi de réduire la taille de cette table.

Comme illustré dans le schéma ci-dessus, le sinus de l'angle $β$ est la coordonnée $y$ du vecteur final $v n$ , alors que la coordonnée $x$ correspond au cosinus.

Algorithme

En 1971, John Stephen Walther de Hewlett Packard, a présenté une généralisation de l'algorithme qui fut mise en œuvre dans la calculatrice HP-35. Cette méthode permet de calculer notamment les fonctions hyperboliques mais également d'autres fonctions comme l'exponentielle, la division ou la multiplication. La généralisation se présente comme suit[1] :

\left\{{\begin{matrix}x_{k+1}=x_{k}-m\sigma _{k}y_{k}2^{-k}\\y_{k+1}=y_{k}+\sigma _{k}x_{k}2^{-k}\\z_{k+1}=z_{k}-\sigma _{k}\varepsilon _{k}\end{matrix}}\right.

avec $m \in {-1 ; 0 ; 1}$ , $ε k$ des constantes définies à l'avance et $σ k \in {-1 ; 1}$ (en fonction de la valeur de $z k$ ).

Fonctions trigonométriques

On utilise la généralisation avec les paramètres :

m=1~

\varepsilon _{k}=\operatorname {arctan} (2^{-k})

\sigma _{k}=\operatorname {sgn} (z_{k})

x_{0}=K=\prod _{i=0}^{\infty }\cos(\arctan(2^{-i}))\approx 0.607252

y_{0}=0~

z_{0}=\theta ~

(en radians)

À la fin de n itérations, on a $x n \approx cos(θ)$ et $y n \approx sin(θ)$ .

Cette méthode ne fonctionne que si :

|\theta |<\sum _{i=0}^{\infty }\operatorname {arctan} (2^{-i})\approx 1{,}7

En pratique cela ne pose pas de problème car les fonctions trigonométriques peuvent toujours être ramenées au cas $0 \leq θ < π / 2$ en exploitant leurs propriétés les plus connues (voir Identité trigonométrique).

Fonctions hyperboliques

On utilise la généralisation avec les paramètres :

m=-1~

\varepsilon _{k}=\operatorname {artanh} (2^{-k})

\sigma _{k}=\operatorname {sgn} (z_{k})

x_{0}=\prod _{i=0}^{\infty }\cosh(\operatorname {arctanh} (2^{-i}))\approx 1,20513

y_{0}=0~

z_{0}=\theta ~

(en radians)

À la fin de n itérations, on a $x n \approx cosh(θ)$ et $y n \approx sinh(θ)$ , ainsi que $x n + y n \approx exp(θ)$ .

Cette méthode ne fonctionne que si la valeur absolue de $z$ est inférieure à environ 1,05. Des transformations d'expressions grâce à des identités trigonométriques permettent de contourner ces problèmes en faisant en sorte que les paramètres soient dans l'intervalle requis. La répétition de certaines itérations résout les problèmes de convergence[1].

Double itération CORDIC

Dans les publications de Baykov[2] - [3], celui-ci a proposé d'utiliser la méthode des doubles itérations pour l'implémentation des fonctions : arcsinX, arccosX, lnX, expX , ainsi que pour le calcul des fonctions hyperboliques. La méthode des doubles itérations consiste dans le fait que contrairement à la méthode CORDIC classique, où la valeur du pas d'itération change à CHAQUE fois, c'est-à-dire à chaque itération, dans la méthode de la double itération, la valeur du pas d'itération est répétée deux fois et ne change qu'au cours d'une itération. D'où la désignation de l'indicateur de degré pour les itérations doubles : i = 1,1,2,2,3,3... Alors qu'avec les itérations ordinaires : i = 1,2,3... La méthode de la double itération garantit la convergence de la méthode dans toute la plage valide de changements d'arguments.

La généralisation des problèmes de convergence CORDIC pour le système de numération positionnelle arbitraire[4], avec Radix R a montré que pour les fonctions sin, cos, arctg, il suffit d'effectuer (R-1) itérations pour chaque valeur de i (i = 0 ou 1 à n, où n est le nombre de chiffres), c'est-à-dire pour chaque chiffre du résultat. Pour les fonctions ln, exp, sh, ch, arth, des itérations R doivent être effectuées pour chaque valeur i. Pour les fonctions arcsin et arccos 2 (R-1) des itérations doivent être effectuées pour chaque chiffre numérique, c'est-à-dire pour chaque valeur de i. Pour les fonctions arch, arch, le nombre d'itérations sera de 2R pour chaque i, c'est-à-dire pour chaque chiffre de résultat.

Fonctions linéaires

CORDIC permet également de calculer la multiplication ou la division entre des nombres $a$ et $b$ .

Multiplication

m=0~

\varepsilon _{k}=2^{-k}

\sigma _{k}=\operatorname {sgn} (z_{k})

x_{0}=a

y_{0}=0~

z_{0}=b~

À la fin de n itérations, on a $y n \approx a \times b$ . En pratique, elle est peu intéressante car son domaine est restreint : il faut impérativement que $b \in [-2 ; 2]$ .

Division

m=0~

\varepsilon _{k}=2^{-k}

\sigma _{k}=-\operatorname {sgn} (y_{k})

x_{0}=b~

y_{0}=a~

z_{0}=0~

À la fin de n itérations, on a $z n \approx a / b$ . Elle a aussi un domaine d'application restreint puisque la condition suivante doit être respectée : $\left|{\frac {a}{b}}\right|\leq 2$

Bibliographie

Jack E. Volder, The CORDIC Trigonometric Computing Technique, IRE Transactions on Electronic Computers, septembre 1959
Daggett, D. H., Decimal-Binary conversions in CORDIC, IRE Transactions on Electronic Computers, Vol. EC-8 n^o 5, p. 335-339, IRE, septembre 1959.
J. E. Meggitt, Pseudo Division and Pseudo Multiplication Processes, IBM Journal, avril 1962.
Vladimir Baykov, Problems of Elementary Functions Evaluation Based on Digit by Digit (CORDIC) Technique, rapport de thèse, Université d'État de Leningrad d'ingénierie électrique, 1972
Schmid, Hermann, Decimal computation. New York, Wiley, 1974
V.D.Baykov, V.B.Smolov, Hardware implementation of elementary functions in computers, Université d'État de Leningrad, 1975, 96p.
Senzig, Don, Calculator Algorithms, IEEE Compcon Reader Digest, Catalogue IEEE n^o 75 CH 0920-9C, p. 139-141, IEEE, 1975.
V.D.Baykov, S.A.Seljutin, Elementary functions evaluation in microcalculators, Moscou, Radio & svjaz, 1982,64p.
Vladimir D.Baykov, Vladimir B.Smolov, Special-purpose processors: iterative algorithms and structures, Moscou, Radio & svjaz, 1985, 288 pages
M. Zechmeister Solving Kepler’s equation with CORDIC double iterations Institut für Astrophysik, Georg-August-Universität, Friedrich-Hund-Platz 1, 37077 Göttingen, Germany, Preprint 10 August 2020, p.1-10.
M. E. Frerking, Digital Signal Processing in Communication Systems, 1994
Vitit Kantabutra, On hardware for computing exponential and trigonometric functions, IEEE Trans. Computers 45 (3), 328-339 (1996).
Tomás Lang & Elisardo Antelo CORDIC-Based Computation of ArcCos Journal of VLSI signal processing systems for signal, image and video technology volume 25, pages19–38 (2000)
Vladimir Baykov Double iterations in CORDIC CORDIC Bibliography
Andraka, Ray, A survey of CORDIC algorithms for FPGA based computers
Le Secret des algorithmes, Jacques Laporte, Paris 1981. À la suite du décès de son auteur et non-renouvellement auprès de l'hébergeur, le site est désormais inaccessible (même chez archive.org), sauf auprès de la NSA. Néanmoins, une copie, autorisée par sa veuve, se trouve à l'adresse : http://home.citycable.ch/pierrefleur/Jacques-Laporte/index.html.
(en) Jean-Michel Muller, Elementary Functions – Algorithms and Implementation, 2nd Ed., Boston, Birkhäuser, 2006, 2^e éd., 265 p. (ISBN 978-0-8176-4372-0, LCCN 2005048094, présentation en ligne)
Lefèvre V., Zimmerman P., janvier 2004, Arithmétique flottante, Rapport de Recherche INRIA n^o 5105.

Notes et références

http://cdeval.free.fr/IMG/pdf/cordic.pdf
Hardware implementation of the elementary functions by digit-by-digit (CORDIC) technique, thèse de Vladimir Baykov, disponible sur
(en) V.D.Baykov et V.B.Smolov, Hardware implementation of elementary functions in computers, Leningrad State University, 1975, 96 p. (lire en ligne)
(en) Vladimir Baykov et Vladimir Smolov, =Special-purpose processors: iterative algorithms and structures, Moscow, 1985, 288 p. (lire en ligne)

Voir aussi

Sigles de 2 caractères
Sigles de 3 caractères
Sigles de 4 caractères
Sigles de 5 caractères
► Sigles de 6 caractères
Sigles de 7 caractères
Sigles de 8 caractères

Liens externes

(en) Dspguru - Questions sur CORDIC
(en) Synthèse sonore en FPGA
(en) Vecteurs arbitraires dans CORDIC
(en) méthode CORDIC à doubles itérations
(en) discussions sur USENET
(en) D'autres discussions sur USENET
(en) Calculs de Arccos et ${\sqrt {1-t^{2}}}$ avec CORDIC
(en) programmation de CORDIC basée sur des tampons
(en)http://www.math.niu.edu/~rusin/known-math/94/cordic
(en) Implémentation de CORDIC dans la ROM du HP-35 - Jacques Laporte (analyse pas à pas du firmware)
(en) Digit by digit methods, Jacques Laporte, Paris 2006 (la filiation entre CORDIC et les anciennes méthodes notamment celle de Briggs)

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.