CDR: a rewriting based tool to design FPLA circuits

MAAZOUZI Zahir, ANDRIANARIVELO Nirina, BOUSDIRA Wadoud, CHABIN Jacques.

Laboratoire d'Informatique Fondamentale d'Orleans, 45067 Orleans, FRANCE

Abstract
A rewriting based method to design circuits on FPLA electronic devices 
is presented. It is an improvement of our previous work. In comparison 
with this latter, the number of boolean vectors generated during the 
design process is reduced. This is done thanks to new forms of rewriting 
rules denoting new interesting properties on boolean vectors, associated 
to boolean products. Only boolean products which are implicants of the 
circuit to design are computed. Thus, this new design process is more 
efficient than the previous one.

English Keywords
Circuit design ; Electronic circuit ; Field programmable gate array ; 
Rewriting systems ; Boolean algebra ; Symbolic computation ; Design process ;

French Keywords
Conception circuit ; Circuit electronique ; Reseau porte programmable ; 
Systeme reecriture ; Algebre Boole ; Calcul symbolique ; Processus conception ;