Rev. Phys. Appl. (Paris) 22, 21-28 (1987)
DOI: 10.1051/rphysap:0198700220102100

A unique formalism for VLSI logical and electrical synthesis

J. Frehel, J.-C. Longchambon et P. Malardier

Thomson CSF Service CSAO, B.P. 54, 38120 St-Egrève, France

Abstract
This paper presents a unique formalism of knowledge representation of a MOS digital designer in terms of sets of rewriting rules. This formalism provides solution to logical synthesis from functional description to gate network, to electrical synthesis from gate network to equivalent MOS transistor network and to logical extraction from a transistor network. Corresponding inference origines extensively use a general commutative unification process with variable arity of operators.

Résumé
Ce papier présente un formalisme unique des représentations des connaissances logiques et électriques d'un concepteur de circuits digitaux MOS en terme de règles de réécriture. Ce formalisme permet de résoudre des problèmes de synthèse logique depuis une description fonctionnelle vers un réseau de portes logiques, de synthèse électrique depuis une description en termes de portes vers un réseau de transistors MOS, d'extraction logique depuis un réseau de transistors vers une description booléenne. Les moteurs d'inférence correspondant à ces différents outils utilisent tous un mécanisme d'unification commutative à arité variable.

PACS
1265B - Logic circuits.
2570 - Semiconductor integrated circuits.

Key words
logic design -- VLSI -- knowledge representation -- rewriting rules -- logical synthesis -- gate network -- electrical synthesis -- MOS transistor network -- transistor network