A method for supporting the register-transfer-level (RTL) design of a
semiconductor integrated circuit, includes reading an RTL description
related to the semiconductor integrated circuit into a first memory, the
RTL description including a description of a compound block containing a
mixture of combinational and non-combinational circuits, analyzing the RTL
description, extracting a description of the non-combinational circuit
from the compound block description, reading an RTL library into a second
memory, comparing the logic of the extracted non-combinational circuit
description with the logic of each cell of the RTL library, and in
accordance with to a result of the comparison, replacing the extracted
non-combinational circuit description with a cell of the RTL library
having the same logic as the logic of the extracted non-combinational
circuit description. The method may further includes comparing the logics
of combinational circuits described in the RTL description with one
another and rewriting the RTL description if there are a plurality of
combinational circuits of the same logic.
Un metodo per il sostegno della progettazione del registr-trasfer-livello (RTL) di un circuito integrato a semiconduttore, include la lettura della descrizione di RTL relativa al circuito integrato a semiconduttore in una prima memoria, la descrizione di RTL compreso una descrizione di un blocco compound che contiene una miscela dei circuiti combinabili e non-combinabili, analizzando la descrizione di RTL, estraente una descrizione del circuito non-combinabile dalla descrizione compound del blocco, leggente una biblioteca di RTL in una seconda memoria, paragonante la logica della descrizione non-combinabile estratta del circuito alla logica di ogni cellula della biblioteca di RTL ed in conformità con ad un risultato del confronto, sostituente la descrizione non-combinabile estratta del circuito con una cellula dei Biblioteca di RTL che ha la stessa logica della logica della descrizione non-combinabile estratta del circuito. Il metodo può avanzare include confrontare i logics dei circuiti combinabili descritti nella descrizione tra loro di RTL e la ribattitura della descrizione di RTL se ci è una pluralità di circuiti combinabili della stessa logica.