Property Specification Language

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

Die Property Specification Language (PSL; deutsch etwa Beschreibungssprache für Eigenschaften) wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware-Designs zu spezifizieren. Diese Eigenschaften können dann simuliert oder formal verifiziert werden. Seit September 2004 wurde die Standardisierung der Sprache durch die IEEE 1850 Arbeitsgruppe vorangetrieben. Im September 2005, wurde der IEEE 1850 Standard for Property Specification Language (PSL) offiziell vorgestellt.

Die Property Specification Language soll in einer Vielzahl von Hardwarebeschreibungssprachen einsetzbar sein. Zum Beispiel:

[Bearbeiten | Quelltext bearbeiten]
Programmierbare Logik
Konzepte

ASIC • SoC • FPGA (CLB) • CPLD • EPLD • PLA • PAL • GAL • PSoC • Reconfigurable Computing (Xputer) • Soft microprocessor • Circuit underutilization • High-level synthesis • Hardwarebeschleunigung

Programmiertechnik

Masken-programmiert • Antifuse • EPROM • E²PROM • Flash • SRAM

Programmiersprachen

Verilog (A, AMS) • VHDL (AMS, VITAL) • SystemVerilog (DPI) • SystemC • AHDL • Handel-C • PSL • UPF • PALASM • ABEL • CUPL • OpenVera • C to HDL • Flow to HDL • MyHDL • JHDL • ELLA

Hersteller

Accellera • Achronix • Altera (Intel) • AMD (Xilinx) • Aldec • Bitmain • Cadence • Duolog • Forte • Infineon (Cypress) • Lattice • Mentor Graphics • Microchip Technology • Signetics • Synopsys (Magma, Virage Logic) • Texas Instruments • Tabula •

Produkte
Hardware

Stratix • Agilex • Cyclone • Arria • Max • Kintex • Zynq • Virtex • iCE

Software

Intel Quartus Prime • Xilinx ISE • Xilinx Vivado • ModelSim • VTR

IP
Proprietär

ARC • ARM Cortex-M • PowerPC • LEON • LatticeMico8 • MicroBlaze • PicoBlaze • Nios • Nios II

Open-Source

JOP • LatticeMico32 • OpenCores • OpenRISC • RISC-V • Zet

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Property_Specification_Language&oldid=245611777“