ECXL

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten elektronischen Systemebene als auch auf der konkreten Registertransferebene auf eine konsistente Weise. Diese ebenenübergreifende Modellierung kombiniert die Vorteile beider Ebenen: während die elektronische Systemebene frühe Softwareentwicklung und Entwurfsstudien zur Exploration des Entwurfsraums erlaubt, sind die Modelle der unteren Registertransferebene effizient synthetisierbar. Darüber hinaus soll die Entwufsplattform die Erweiterung der RISC-V-ISA mit anwendungsspezifischen Anweisungen auf beiden Modellierungsebenen unterstützen. Die Konsistenz zwischen den beiden Ebenen wird durch die Konsistenz beider mit der RISC-V-ISA nachgewiesen. Die ECXL-Verifikationsplattform wird validiert mit zwei Fallstudien aus dem Bereich der Selbstverifikation und der Edge AI.