Incisive NC SIM

Das klassische Herzstück für die Verifikation im digitalen Bereich ist ein eventgetriebener Simulator basierend auf den Programmiersprachen VHDL und Verilog oder aus beiden Sprachen gemischt programmierten gemischten Designs. Stromlaufpläne werden in Concept HDL oder Capture CIS als VHDL oder Verilog ausgegeben und in dieser Form dem Simulator zugeführt. NCSIM und INCISIVE sind die Simulatoren die durch eine jahrelange konsequente Entwicklung als Single-Kernel-Lösung eine äußerst stabile und höchst leistungsfähige Entwicklungsumgebung anbieten. Die komplette Simulationsumgebung und Designbeschreibung wird konsequent auf Industriestandarten aufgebaut, so dass der Anwender in keine Nischenlösung gepresst wird.

NCSIM

Der NCSIM als Single-Kernel-Simulator ist in der Lage VHDL, Verilog einzeln und gemischt zu simulieren. Der klassische Einsatz des Simulators zielt auf Blocklevel-Simulationen von einigen 100 kGates bis hin zu multi-million-gates Designs. Auswertungen zur Code-Coverage und ein Linting Tool sind in den NCSIM bereits integriert. Standardisierte Schnittstellen wie PLI, VPI, VHPI, OMI für die Einbindung von weiteren Werkzeugen oder IP stehen selbstverständlich zur Verfügung.

INCISIVE

Die neuste Generation des Simulators, genannt INCISIVE, beinhaltet zusätzliche wichtige Optionen wie direkte Unterstützung von SystemC und PSL/Sugar, die ebenso wie VHDL und Verilog direkt vom Simulationskernel ohne Performanceverlust ausgeführt werden. Durch die Nutzung dieser Verifikationstechniken wird der Weg für transaktion-basierte Simulationen unterschiedlichster Ausprägung (timed, untimed, cycle based, etc.) inklusive Integration von Instruktion-Set-Simulatoren zum frühest möglichen Beginn der Softwareintegration geebnet. Post-Prozess Funktionale Verifikation wird durch den integrierten Transaktion Explorer ermöglicht. Die INCISIVE Umgebung bietet weiterführend eine einfache Integration von Emulation / Acceleration und ist deshalb für System Level Verifikation bestens geeignet. Alle Optionen des NCSIM sind in INCISIVE enthalten.

Vom Signal zur Transaktion

Mit der zunehmenden Informationsmenge auf Signalebene wächst der Anspruch, Signale auf einer höheren Abstraktionsebene abzubilden. Dafür werden traditionsgemäß Transaktionen verwendet. Eine Transaktion kann im ersten Ansatz eine Task oder Prozedur darstellen. Um konsequent innerhalb eines Flows mit Transaktionen arbeiten zu können, sollte man diese in allen Sprachen einfach erstellen, speichern und visualisieren können. NCSim wie INCISIVE geben unter Nutzung des SDI Interfaces dem Entwickler einfache Funktionen in die Hand, Transaktionen in der Welt VHDL, Verilog, C, C++, SystemC, PSL/Sugar zu implementieren und für weiterführende Verifikationsschritte abzubilden und vorzubereiten.

Debug Umgebung

NCSIM wie INCISIVE (und auch Acelleration/Emulation ) nutzen ein und dasselbe User Interface. Der Anwender fühlt sich, egal auf welchem Abstraktionslevel er sich befindet, zu Hause. Die Simulation kann interaktiv im User Interface oder im Batchmode mit TK/Tcl genutzt werden. Der Aufbau eigener Interfaces als kundenspezifische Erweiterung ist durch das TK/Tcl Interface leicht möglich. Alle unterstützten Sprachen sind durch interaktives Line-Debugging und automatischer Value-Annotation einfach zu kontrollieren. Die einzelnen Bestandteile wie Waveform-Browser, Hierarchy-Browser, Sourcecode-Browser, Watch-Window oder gar der Assertion-Browser sind miteinander verknüpft, um ein schnelles auffinden der möglichen Fehler im Design oder Testbench zu erleichtern. Für die schnelle Erfassung von HDL Strukturen ist ein Schematic-Tracer implementiert, der das einfache verfolgen von Signalen inklusive der aktuellen Werte ermöglicht.

FPGA und Drittandbieter Integration

Durch die bereitstehenden IEEE-standartisierten Schnittstellen wie PLI,VPI, VHPI und die Möglichkeit mit SystemC jegliche Art C/C++ IP Designs sehr leicht zu integrieren, ist es ein Leichtes jeden beliebigen Flow, beginnend mit Design Erfassung ( Schematic/Stromlaufplan oder Textuell ) über Simulation (NCSIM, INCISIVE ) und Synthese ( z.B. Ambit, Synplicity*) bis hin zum FPGA ( z.B. Xilinx*, Actel*, Altera*,... ) oder komplexen ASICs aufzubauen.

* Die mit * gekennzeichneten Programme oder Hersteller, werden nicht von FlowCAD vertrieben. Die Anbindung an diese Produkte wird jedoch von FlowCAD unterstützt.