Expert SystemC Verification ist ein 2-tägiges Training für Fortgeschrittene, das sich an Ingenieure richtet, die bereits Erfahrung mit SystemC haben. Diese erlernen hier die Verwendung von SystemC für Testbench-Automatisierung auf Basis einer Constrained-Random-Verifikationsmethode. Das Training, das auf der Version 1.0p2 der SystemC Class Library basiert, zeigt den Kursteilnehmern das Debuggen und Validieren von Modellen sowie die optimale Nutzung der SystemC Verification Library (SCV).
Die Workshops basieren auf sorgfältig durchdachten übungen mit dem Ziel, das erlernte Wissen anzuwenden und zu festigen. Dieser Praxisteil nimmt etwa 50% der Unterrichtszeit ein.
Doulos ist weltweit führend in unabhängigem SystemC Know-How und ist seit über vier Jahren aktiv auf dem Gebiet der auf SystemC basierenden Methodik. Wir haben SystemC Schulungen für Ingenieure aus über 70 Unternehmen weltweit durchgeführt. Dies beinhaltet auch direkten Kontakt zu Tool-Entwicklern in Unternehmen wie Arm, Cadence, CoWare, Mentor Graphics und Synopsys.
Die Kursteilnehmer sollten über praktische Erfahrungen mit SystemC verfügen. Die vorherige Teilnahme am Doulos Comprehensive SystemC Kurs oder einem vergleichbaren Training ist erforderlich. Vorkenntnisse im Bereich der Constrained Random Verifikation sind nicht erforderlich, da der Kurs eine Einführung in diese Methodik gibt.
Wenden Sie sich bitte direkt an Doulos, um Ihre Erfahrungen und Kenntnisse in Hinblick auf diese Voraussetzungen zu erörtern und zu bewerten.
Die Doulos Kursunterlagen sind für ihren umfassenden Informationsgehalt und die äußerst benutzerfreundliche Präsentation allgemein bekannt. In ihrem Aufbau, Inhalt und ihrer Themenbehandlung sind sie einzigartig im EDA-Trainingsbereich, was sie zu begehrten Nachschlagewerken hat werden lassen. In den Kursgebühren sind enthalten:
Black and White Box Testing • Simulation and coverage • Verification Methodology Overview • What is Testbench Automation? • How SystemC and SCV fit in to verification • Obtaining SCV
Extensions to data • Static vs Dynamic extensions • Extensions components • Extending built-in data types • Extending User Defined Data Types • User-defined data types with private attributes • Accessing Static Data Extensions
Randomization • Dynamic extensions • Shared (reference-counted) pointers • Smart Pointers • Randomizing user defined data • Weighted distributions using bags • Weighted distributions using keep • Reproducibility • Using Seed Files
Why we need constraints • Hard vs Soft • Creating constraints – scv_constraint_base • Constraining a simple data type • Constraining a user data type • Enabling and disabling constraints • Methods vs attributes • Overloading next() • Hierarchical Constraints
Requirements for transaction recording • Stream, generators, databases • Creating output • Transaction attributes • Using the transaction database
Using SCV_REPORT • The HDL Connection API • SCV data types (scv_sparse_array)
Dynamic Thread Applications • Spawning Threads and Methods • Setting spawn options • Spawning functions • Spawning member functions • scx_barrier
CVE Wizards • Connecting to ncsim • Recording to an SDI database • Dynamic Thread Creation • Other data types (smart queues)
Doulos acknowledges trademarks and registered trademarks are the property of their respective owners
Complete an enquiry form and a Doulos representative will get back to you.
Enquiry FormPrice on request