Simulation LTspice et modèles

Bonjour,
Pour ceux d’entre vous ayant suivi le sujet du traceur de caractéristiques, vous savez que certains composants ont leur modèle difficiles ou impossibles à trouver.
J’avais besoin entre autres, d’un modèle de CD4520 et de 4518 introuvables.
J’ai réussi à modéliser le CD4520 en partant du diagramme logique de sa datasheet et il fonctionne.
Par contre, j’ai un problème d’interprétation de certains symboles logique sur les datasheet et je suis bloqué pour la modélisation du CD4518 qui ne fonctionne pas correctement (mauvais timing chart).

Quelqu’un aurait un avis, une piste ou une solution?

4518 4520.jpg

Et la modélisation fonctionnelle LTspice du CD4520:

CD4520.jpg

@JP, l’explication est donnée par le théorème de De Morgan.

L’exemple ci-dessus représente des portes à deux entrées mais la loi de transposition est valable quelque soit le nombre d’entrées des portes.

Oui, j’avais déjà interprété cette équivalence que j’ai d’ailleurs appliqué aux portes « Negative AND » sur la simu du 4520
Je bloque avec cette partie de circuit du 4518. :mrgreen:
partie circuit.jpg

@JP, je ne vois pas ce qui pourrait être bloquant.

Le AND avec ses 3 entrées « boulées » est équivalent à un NOR à 3 entrées.
Le buffer avec son entrée « boulée » est equivalent à un inverseur.
Le AND avec ses 2 entrées « boulées » est équivalent à un NOR à 2 entrées.

El ce circuit que j’ai annoté « NOR »?
En plus je me suis planté, j’ai annoté OR au lieu de NOR les 2 circuits AND avec les entrées inversées…

Plutôt que d’écrire « est équivalent à », la formule « est remplaçable par » aurait été plus appropriée.
Le seul NOR à deux entrées n’a pas besoin d’être transposé, il peut rester NOR.