1. A method of automatically generating signals representing a complete truth table of a circuit from data defining said circuit by a set of equations consisting of signal entities and operational entities, comprising the steps of: performing in a data processor: (a) parsing each equation in accordance with an abstract data tree having a node for each operational entity and an extremity for each signal entity; (b) building, in accordance with the parsing of each equation and from elementary truth tables for each signal entity, a respective partial truth table for each equation; and (c) merging the said partial truth tables into said complete truth table for said circuit; and storing signals representing said complete truth table.