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.

 
Web www.patentalert.com

< (none)

< Event architecture for system management in an operating system

> Service business management system

> (none)

~ 00006