Property Specification Language - Versionsgeschichte

Aka: Tippfehler entfernt, Links optimiert

2024-06-03T21:43:38Z

← Nächstältere Version		Version vom 3. Juni 2024, 23:43 Uhr
Zeile 1:		Zeile 1:
	{{Belege fehlen}}		{{Belege fehlen}}

	Die '''Property Specification Language''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertions]] beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertions]] beim Entwurf von [[Hardware]]-Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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 [[Hardwarebeschreibungssprache~~\|Hardwarebeschreibungssprachen~~]] einsetzbar sein. Zum Beispiel:		Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache]]n einsetzbar sein. Zum Beispiel:
	* [[Very High Speed Integrated Circuit Hardware Description Language\|VHDL]] (IEEE 1076)		* [[Very High Speed Integrated Circuit Hardware Description Language\|VHDL]] (IEEE 1076)
	* [[Verilog]] (IEEE 1364)		* [[Verilog]] (IEEE 1364)

Cepheiden am 2. Januar 2020 um 22:51 Uhr

2020-01-02T22:51:10Z

← Nächstältere Version		Version vom 3. Januar 2020, 00:51 Uhr
Zeile 1:		Zeile 1:
	{{Belege fehlen\|}}		{{Belege fehlen}}

	Die '''Property Specification Language''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|~~Assertion~~]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertions]] beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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 [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein. Zum Beispiel:		Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein. Zum Beispiel:
Zeile 15:		Zeile 15:
	<!-- * [http://www.pslsugar.org/ The PSL/Sugar Consortium] (scheint nicht mehr aktuell zu sein) -->		<!-- * [http://www.pslsugar.org/ The PSL/Sugar Consortium] (scheint nicht mehr aktuell zu sein) -->
	* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)		* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)

			{{Navigationsleiste programmierbare Logik}}

	[[Kategorie:Hardwarebeschreibungssprache]]		[[Kategorie:Hardwarebeschreibungssprache]]

46.90.36.173: {{Belege fehlen}} hinzugefügt

2017-10-08T07:24:55Z

{{Belege fehlen}} hinzugefügt

← Nächstältere Version		Version vom 8. Oktober 2017, 09:24 Uhr
Zeile 1:		Zeile 1:
			{{Belege fehlen\|}}

	Die '''Property Specification Language''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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.

KLBot2: Bot: 3 Interwiki-Link(s) nach Wikidata (:d:Q751505) migriert

2013-04-04T07:58:47Z

Bot: 3 Interwiki-Link(s) nach Wikidata (d:Q751505) migriert

← Nächstältere Version		Version vom 4. April 2013, 09:58 Uhr
Zeile 15:		Zeile 15:

	[[Kategorie:Hardwarebeschreibungssprache]]		[[Kategorie:Hardwarebeschreibungssprache]]

	[[en:Property Specification Language]]
	[[fr:Property Specification Language]]
	[[ja:Property Specification Language]]

77.58.255.212 am 15. Dezember 2011 um 20:29 Uhr

2011-12-15T20:29:38Z

← Nächstältere Version		Version vom 15. Dezember 2011, 22:29 Uhr
Zeile 1:		Zeile 1:
	Die '''Property Specification Language''' ('''PSL'''), ~~auf Deutsch~~ etwa 'Beschreibungssprache für Eigenschaften', wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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 [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein.		Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein. Zum Beispiel:
		⚫	* [[Very High Speed Integrated Circuit Hardware Description Language\|VHDL]] (IEEE 1076)
	Zum Beispiel:
		⚫	* [[Verilog]] (IEEE 1364)
		⚫	* [[SystemVerilog]] (IEEE 1800)
		⚫	* [[SystemC]] durch die [[Online Services Computer Interface\|OSCI]]

		⚫	== Weblinks ==
⚫	* [[Very High Speed Integrated Circuit Hardware Description Language\|VHDL]] (IEEE 1076),
		⚫	* [http://www.eda.org/ieee-1850 IEEE P1850 PSL Working Group] (englisch)
⚫	* [[Verilog]] (IEEE 1364),
		⚫	* [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005] (englisch)
⚫	* [[SystemVerilog]] (IEEE 1800)~~, und~~
⚫	* [[SystemC]] durch die [[Online Services Computer Interface\|OSCI]].

⚫	== Weblinks ~~(engl.)~~ ==

⚫	* [http://www.eda.org/ieee-1850 IEEE ~~1850~~ ~~working~~ ~~group~~]
⚫	* [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005]
	* [http://www.accellera.org/ Accellera]		* [http://www.accellera.org/ Accellera]
	* [http://www.pslsugar.org/ The PSL/Sugar Consortium]		<!-- * [http://www.pslsugar.org/ The PSL/Sugar Consortium] (scheint nicht mehr aktuell zu sein) -->
	* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL]		* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)

	[[Kategorie:Hardwarebeschreibungssprache]]		[[Kategorie:Hardwarebeschreibungssprache]]

JuTa: linkfix (BKL)

2010-04-04T05:08:35Z

linkfix (BKL)

← Nächstältere Version		Version vom 4. April 2010, 07:08 Uhr
Zeile 7:		Zeile 7:
	* [[Verilog]] (IEEE 1364),		* [[Verilog]] (IEEE 1364),
	* [[SystemVerilog]] (IEEE 1800), und		* [[SystemVerilog]] (IEEE 1800), und
	* [[SystemC]] durch die [[OSCI]].		* [[SystemC]] durch die [[Online Services Computer Interface\|OSCI]].

	== Weblinks (engl.) ==		== Weblinks (engl.) ==

Trustable: BKL

2008-10-17T08:14:17Z

BKL

← Nächstältere Version		Version vom 17. Oktober 2008, 10:14 Uhr
Zeile 4:		Zeile 4:
	Zum Beispiel:		Zum Beispiel:

	* [[VHDL]] (IEEE 1076),		* [[Very High Speed Integrated Circuit Hardware Description Language\|VHDL]] (IEEE 1076),
	* [[Verilog]] (IEEE 1364),		* [[Verilog]] (IEEE 1364),
	* [[SystemVerilog]] (IEEE 1800), und		* [[SystemVerilog]] (IEEE 1800), und

Hafenbar: Link

2008-06-24T13:50:32Z

Link

← Nächstältere Version		Version vom 24. Juni 2008, 15:50 Uhr
Zeile 1:		Zeile 1:
	Die '''Property Specification Language''' ('''PSL'''), auf Deutsch etwa 'Beschreibungssprache für Eigenschaften', wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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''' ('''PSL'''), auf Deutsch etwa 'Beschreibungssprache für Eigenschaften', wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)\|Assertion]]s beim Entwurf von [[Hardware]] Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation\|simuliert]] oder [[Verifikation\|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 [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein.		Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache\|Hardwarebeschreibungssprachen]] einsetzbar sein.

MarkusHagenlocher: /* Weiterführende Links (engl.) */

2008-04-05T18:02:11Z

Weiterführende Links (engl.)

← Nächstältere Version		Version vom 5. April 2008, 20:02 Uhr
Zeile 9:		Zeile 9:
	* [[SystemC]] durch die [[OSCI]].		* [[SystemC]] durch die [[OSCI]].

	== ~~Weiterführende Links~~ (engl.) ==		== Weblinks (engl.) ==

	* [http://www.eda.org/ieee-1850 IEEE 1850 working group]		* [http://www.eda.org/ieee-1850 IEEE 1850 working group]

Uwe Gille: /* Weiterführende Links (engl.) */

2008-01-02T23:33:42Z

Weiterführende Links (engl.)

← Nächstältere Version		Version vom 3. Januar 2008, 01:33 Uhr
Zeile 17:		Zeile 17:
	* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL]		* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL]

	[[Kategorie:~~Hardwarebeschreibungssprachen~~]]		[[Kategorie:Hardwarebeschreibungssprache]]

	[[en:Property Specification Language]]		[[en:Property Specification Language]]