FACILOG est un petit logiciel permettant de simplifier des fonctions logiques combinatoires ou séquentielles afin de les évaluer avant implantation.  Pour l’électronicien du domaine numérique, il joue le rôle de calculette spécialisée.

Ce logiciel, utilisant l’algorithme de Quine-Mac Cluskey a été écrit en langage C par F.Roulleaux, S.Le Gall et P.Nouel – ENSERB 1992. La syntaxe proposée est inspirée de la syntaxe PALASM.

Mode d’emploi

Circuits combinatoires

Vous avez la possibilité de saisir des fonctions complètes ( n variables , m < 2**n mintermes ), ou incomplètes ( n variables, m mintermes , p cas indéterminés avec m + p < 2**N).

Nom de variables :

• Conventionnelle : sera a, b, c … dans l’ordre des poids croissants
• Au choix de l’utilisateur : Chaque variable est limitée à 8 caractères

Saisie sous forme d’une expression logique :

• C’est une somme de produit
• Signes : +  OU logique, * ET logique, / complément
• Exemple d’expression valide:   a * / b + /a * b * b

Saisie sous forme d’équivalents décimaux pour les minterms

Chaque variable étant pondérée… par exemple 10 représente /a * b*/c*d

Fonctions complètes

• Vous  saisissez les minterms sous la forme de son numéro de 0 à 2**n – 1

Fonctions incomplètes

• Vous saisissez les minterms
• Vous saisissez les produits indéterminés

Exemple de session : Une fonction incomplète

Circuits séquentiels synchrones

Le logiciel traite à priori des machines de Moore. L’utilisateur est censé avoir préparé le codage de ses états sous forme décimal ( variables internes) et il va pouvoir saisir son graphe de transition.

Nom des variables :

• Conventionnelle : e1, e2, e3 … pour les variables d’entrée; a, b, c … pour les variables internes.
• Au choix de l’utilisateur : Chaine de 8 caractères au maximum pour chaque variable

Saisie :

Pour chaque état du graphe (état présent) , vous devez donner succéssivement les expréssions logiques de transition , puis l’état de destination ( état futur). « 1″  représente  l’ équation d’une transition toujours vraie. On n’a pas à spécifier les équations logiques lorsque l’état futur est l’ état présent. Les états non énumérés sont considérés comme des cas indifférents ( qui donnent des simplifications en introduisant des fonctions incomplètes).

Exemple de session : compteur par 10

Chargement

• Version Windows (DOS) : Facilog
• Les fichiers sources de FACILOG en langage C  archive ZIP Il existe une version Solaris.  Toute nouvelle compilation est la bienvenue. Si vous les utilisez , merci de bien vouloir citer (et contacter) vhdl33 en référence.