Können wir Regressionstests für Continuous Integration (CI)-Flows anordnen, um die Zeit zwischen Code-Commits und Feedback zu Fehlern zu minimieren? Paul Cunningham (Senior VP/GM, Überprüfung...
Wann immer eine neue Partnerschaft angekündigt wird, ist die natürliche Frage: „Warum?“ Was wird diese Partnerschaft möglich machen, was mit den beiden noch nicht möglich war...
Arm hat kürzlich sein jährliches Update zur Neoverse-Produktlinie veröffentlicht, das auf die Infrastruktur von der Cloud bis zur Kommunikation am Rand abzielt. Chris Bergey (SVP und...
Es gibt einen Grund, warum das Geschäft mit Verifizierungshardwarebeschleunigern so beeindruckend wächst. Moderne SoCs – mittlerweile routinemäßig milliardenschwere Gate-Bausteine – müssen verifiziert/validiert werden...
Verifizierungstechnologien haben sich im Laufe der Jahre in fast allen Bereichen weiterentwickelt. Wir sind jetzt wesentlich produktiver bei der Erstellung von Tests für Block-, SoC- und Hybrid-...
Siemens EDA hat sich eindeutig zum Ziel gesetzt, Verifizierern dabei zu helfen, mehr aus ihren Tools und Methoden herauszuholen. Kürzlich haben sie ein Whitepaper veröffentlicht...
Haben Sie sich jemals gefragt, warum kohärente Netzwerke über das Serverdesign hinaus benötigt werden? Der Wert der Cache-Kohärenz in einem Multi-Core- oder Many-Core-Server ist jetzt gut ...
Die Modellierung und Verifikation asynchroner Systeme ist eine ständige Herausforderung. Petrinetzmodelle können eine Antwort liefern. Paul Cunningham (GM, Überprüfung bei Cadence), Raúl Camposano...
Rich Edelman von Siemens EDA hat kürzlich ein Papier zu diesem Thema veröffentlicht. Ich kenne Rich seit unseren gemeinsamen Tagen im National Semi. Und...
Mit der Abdeckungsanalyse beantworten Sie die Frage „Habe ich genug getestet?“ Sie brauchen eine Möglichkeit, die Vollständigkeit unserer Tests zu quantifizieren; Abdeckung ...