A methodology for generating structural descriptions of complex digital
devices from high-level descriptions and specifications is disclosed. The
methodology uses a systematic technique to map and enforce consistency of
the semantics imbedded in the intent of the original, high-level
descriptions. The design activity is essentially a series of
transformations operating upon various levels of design representations.
At each level, the intended meaning and formal software manipulations are
captured to derive a more detailed level describing hardware meeting the
design goals. Important features of the methodology are: capturing the
users concepts, intent, specification, descriptions, constraints and
trade-offs; architectural partitioning; high level what-if analysis;
sizing estimation; timing estimation; architectural trade-off; conceptual
design with implementation estimation; and timing closure. The methodology
includes using estimators for partitioning and evaluating a design prior
to logic synthesis. From the structural description, a physical
implementation of the device is readily realized.
Techniques for scaling of a model design to provide a scaled design are
described whereby parameters of a model design such as size, circuit
complexity, interconnection density, number of I/O connections, etc., can
be scaled to produce a scaled version of the design. The scaling
techniques employ multi-level hierarchical module replication to produce
fully-functional scaled designs which closely match the function of the
model design. Test vectors for the scaled designs can be readily obtained
by altering test vectors for the model design to account for the
replicated modules.
Una metodologia per la generazione delle descrizioni strutturali dei dispositivi digitali complessi dalle descrizioni e dalle specifiche ad alto livello è rilevata. La metodologia usa una tecnica sistematica per tracciare e fare rispettare la consistenza della semantica inclusa nell'intenzione delle descrizioni originali e ad alto livello. L'attività di disegno è essenzialmente una serie di trasformazioni che funzionano sui vari livelli delle rappresentazioni di disegno. Ad ogni livello, il significato e le manipolazioni convenzionali progettati del software sono bloccati per derivare i fissaggi di descrizione livellati più dettagliati che vengono a contatto degli obiettivi di disegno. Le caratteristiche importanti della metodologia sono: bloccare i concetti, intenzione, specifica, le descrizioni, i vincoli e le alternanze degli utenti; dividere architettonico; livello elevato che cosa-se analisi; valutazione dell'incollatura; valutazione di sincronizzazione; alternanza architettonica; disegno concettuale con la valutazione di esecuzione; e chiusura di sincronizzazione. La metodologia include per mezzo degli estimatori per dividere e la valutazione del disegno prima della sintesi di logica. Dalla descrizione strutturale, un'esecuzione fisica del dispositivo è realizzata prontamente. Le tecniche per scaling di un disegno di modello per fornire un disegno regolato sono descritte per cui i parametri di un disegno di modello quali il formato, la complessità di circuito, la densità di interconnessione, il numero di collegamenti di I/O, ecc., possono essere regolati per produrre una versione regolata del disegno. Le tecniche di scaling impiegano la replica gerarchica multilivelli del modulo per redigere i disegni regolati pieno-funzionali che abbinano molto attentamente la funzione del disegno di modello. I vettori della prova per i disegni regolati possono essere ottenuti prontamente alterando i vettori della prova per il disegno di modello per rappresentare i moduli ripiegati.