Mentor Graphics raggiunge nuovi traguardi nella “Verification Intelligence” dei SoCMentor raises verification intelligence In SoC design
La complessità degli odierni ambienti per la verifica di progetti SoC spesso costringe i progettisti a investire tempo prezioso nella definizione e nell’esecuzione di molteplici modelli di verifica – spesso tra loro incompatibili – di un singolo blocco per il supporto della verifica a livello di sistema, a livello TML e a livello RTL. Questa mancanza di consistenza impedisce ai team di progetto di muoversi agevolmente tra i differenti livelli di astrazione e ottimizzare l’efficienza della verifica stessa. “Gli innovativi Multi-view Verification Components – MVC – per la nostra piattaforma Questa – ha sostenuto John Lenyo, Direttore marketing della design verification and test division di Mentor Graphics durante una recente conferenza stampa tenutasi a Milano – si connettono a tutti i livelli di astrazione, ovvero dal sistema ai singoli gate, assicurando consistenza di comportamento del modello e lasciando a coloro che si occupano di verifica maggiori opzioni per il miglioramento delle prestazioni e l’incremento della copertura”.
Mentor fa ricorso alla tecnologia di sintesi per produrre automaticamente i wrapper dei modelli che rendono disponibili i segnali di interfaccia e la temporizzazione richiesti per normalizzare i livelli di astrazione dei vari modelli.
Una volta disponibili i componenti per la verifica, i progettisti devono creare gli stimoli per pilotare i modelli. La creazione manuale degli stimoli di test rappresenta una delle fasi più onerose, dal punto di vista temporale, di tutto il processo di verifica. Utilizzando avanzati algoritmi per la sintesi di stimoli non-ripetitivi, la nuova tecnologia inFact di Mentor per l’automazione intelligente dei testbench riduce il tempo di creazione dei test e contemporaneamente ne minimizza la ridondanza e stimola porzioni più estese del progetto – producendo un debugging per efficace e una sensibile accelerazione della copertura.
“Il massiccio impegno di risorse nella fase di verifica – ha detto Gary Smith, fondatore e chief analyst di Gary Smith EDA – non rappresenta una soluzione accettabile del problema. L’obbiettivo è ridurre i costi della verifica al di sotto del 35% del costo totale della progettazione hardware, e ciò può essere ottenuto solo attraverso l’automazione. Il testbench intelligente rappresenta l’ingrediente mancante negli odierni flussi di verifica”.
InFact è già disponibile e gli MVC saranno disponibili nel secondo trimestre 2008: i prezzi partono da 25.000 dollari.
SoC verification often requires designers to spend time building and verifying multiple and usually incompatible verification models of a single block to support three levels of verification: system, TLM and RTL. This lack of consistency prevents teams from moving up and down in abstraction and maximizing verification effectiveness. “Questa Multi-view Verification Components (MVC) product can connect to any level of abstraction from system to gates ensuring consistent model behaviour” – said John Lenyo, Mentor Graphics director of marketing, design verification and test division during a recent press conference in Milan.
Mentor used synthesis technology to automatically produce model wrappers that provide the necessary interface signals and timing required to normalize the abstraction levels of various models.
Once verification components are available, designers need to create the stimulus to drive the models. Creating test stimulus by hand is one of the most time-consuming steps in the verification flow. Using advanced algorithms to synthesize non-repeating stimulus, Mentor’s inFact is based on compiler development technology that allows to parse test requirements and goals.
“Throwing engineers at the [verification] problem is not an acceptable answer whether they be in the U.S., or Europe ” said Gary Smith, founder and chief analyst for Gary Smith EDA. “The target is to bring verification costs down to 35 percent of the total hardware design cost, and we can only do that through automation.”
InFact is already available while Questa MVC will be available starting from Q2 2008: process start from 25.000 dollar.
Contenuti correlati
-
La protezione dei dispositivi edge
L’adozione di soluzioni come Chip SE (Secure Element), sensori di movimento per individuare tentativi di manomissione e altre ancora è indispensabile per la protezione dei dispositivi posti alla periferia della rete Leggi l’articolo completo su EMB93
-
Microprocessori multicore a 64-bit per l’“intelligent edge”
Microchip Technology ha introdotto la gamma di MPU PIC 64 per soddisfare le crescenti esigenze degli odierni progetti embedded Leggi l’articolo completo su EMB93
-
Partnership tra Altair e Samsung Electronics
Altair ha annunciato di essere stata scelta come partner per l’automazione della progettazione elettronica (EDA) per il Samsung Advanced Foundry Ecosystem (SAFE). Questa collaborazione permetterà di combinare la tecnologia EDA di Altair, compresi gli strumenti per il...
-
Hardware per PLC di nuova generazione per affrontare le sfide dell’automazione industriale
Questo articolo analizza brevemente le problematiche legate all’implementazione della tecnologia IIoT e spiega come i progressi nel campo dei sistemi aperti e dell’hardware per l’automazione di fabbrica possano offrire soluzioni adeguate e presenta un esempio di implementazione,...
-
Certificazione ISO 26262 per l’ambiente di progettazione FPGA di GOWIN
GOWIN Semiconductor ha annunciato che il suo ambiente di progettazione FPGA GOWIN EDA è stato certificato conforme agli standard di sicurezza funzionale ISO 26262 e IEC 61508 dal laboratorio di test TUV. La certificazione del design tool...
-
La nuova soluzione Veloce CS di Siemens per migliorare l’emulazione e la prototipazione
Siemens Digital Industries Software ha presentato Veloce CS, un sistema di verifica e di validazione hardware-assisted che integra all’interno di un unico sistema l’emulazione hardware, la prototipazione di livello enterprise e la prototipazione software. Questa soluzione rappresenta...
-
Synopsys acquisisce Ansys
Synopsys e Ansys hanno annunciato di aver siglato un accordo definitivo in base al quale Synopsys acquisirà Ansys. Le aziende sottolineano che la combinazione della tecnologia EDA di Synopsys con le capacità di simulazione e analisi di...
-
La tecnologia di simulazione di Siemens EDA scelta da RS Group
Siemens Digital Industries Software ha annunciato che RS Group ha scelto Siemens come fornitore strategico di automazione della progettazione elettronica (EDA) per il suo nuovo strumento DesignSpark Circuit Simulator, cloud nativo, che consente agli utenti di ottimizzare...
-
Un ponte tra il livello OT e quello IT: i vantaggi commerciali del TSN
Di John Browett, General Manager a CC-Link Partner Association – Europe La digitalizzazione in corso nel settore manifatturiero offre alle aziende opportunità chiave per creare strutture altamente produttive ed efficienti. La piena realizzazione di questi vantaggi richiede...
-
Ottimizzare elaborazione, rilevamento e controllo general purpose con le MCU Arm Cortex-MO+
Le MCU MSPM0 Arm Cortex-M0+ proposte da Texas Instruments offrono ai progettisti maggiori opzioni, più flessibilità di progettazione e una gamma più ampia di software e strumenti intuivi Leggi l’articolo completo su EO 512