Property Specification Language
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:
Weblinks
- IEEE P1850 PSL Working Group (englisch)
- IEEE Announcement September 2005 (englisch)
- Accellera
- Designers guide to PSL (englisch)
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 • Actel • Achronix • AMD • Aldec • Atmel • Bitmain • Cadence • Cypress • Duolog • Forte • Intel (Altera) • Lattice • National • Mentor Graphics • Microsemi • Signetics • Synopsys (Magma, Virage Logic) • Texas Instruments • Tabula • Xilinx | ||||||||||
Produkte |
|