19.05.2017

Cadence erweitert JasperGold Plattform

Cadence erweitert mit JasperGold Superlint und Clock Domain Crossing (CDC) seine JasperGold Formal Verification Plattform. Die Technologien adressieren RTL-Signoff-Anforderungen (RTL: Register-Transfer Level) und bringen die Leistung der JasperGold Technologie auf den Desktop des Entwicklers.


Signoff-Pr√ľfungen, die bisher auf Ebene der Netzlisten-Implementierung erfolgten, m√ľssen nun w√§hrend des RTL-Designs durchgef√ľhrt werden. Konventionelle statische Lint- und CDC-Tools k√∂nnen aber laut Cadence die hohe Qualit√§t des RTL-Codes nicht effizient sicherstellen.


Mit den RTL-Signoff-Technologien von JasperGold haben die Entwickler nun Zugriff auf funktionelle Pr√ľfungen und ein formal-orientiertes intelligentes Debugging, um Violation Noise zu reduzieren, eine der aktuell gr√∂√üten RTL-Signoff-Herausforderungen. Die Apps sind in die JasperGold Visualize Debugging-Umgebung integriert.


In der Superlint App hat Cadence konventionelle RTL-Linting- und formale Verifikationsf√§higkeiten kombiniert, die funktionelle Pr√ľfungen automatisch aus RTL ableiten. √Ąhnlich bietet die CDC App einen metastabilen Injektions-Flow f√ľr eine strenge CDC-Verifikation entweder in formalen Cadence JasperGold oder in den Xcelium Parallel Simulator-Umgebungen f√ľr ein umfassenderes Signoff.


 


--> -->