Property Language Specification

See also: PSL

The Property Specification Language (PSL) (in French: Langage of specification by properties ) is based on the language Sugar of IBM. It was approved by the organization Accellera in May 2003, and the IEEE in September 2004.

It is a formal language which makes it possible to carry out a material specification using properties and of assertions. Because of mathematical utmost precision of the language, the operation of description withdraws any ambiguity with the resulting specification. It is a fast language to assimilate, based on a relatively simple syntax.

Its use

The assertions can then be interpreted by an engine of simulation (checking dynamic) or a tool for formal checking (static checking) which supports the language. The PSL also makes it possible to note the number of testing period of a property during a simulation or of an analysis. That allows, at the end of the phase of checking, to justify deposit rate carried out.

Included in code VHDL

library IEEE; use ieee.std_logic_1164.all; entity reciver is port (clk: in std_logic; (…) B: in std_logic; C: in std_logic); end reciver; structure archi off reciver is Begin -- Comments VHDL -- psl default clock is pink (clk); -- psl assert always (A->next (B)); -- psl assert always A->E before B; -- psl C_then_FC: assert always C|=> {F; C}; (… VHDL…) end archi;

Random links:Tactic échiquéenne | Mazeyrat-in Allier | Empurany | Minister without portfolio | Ngor (island) | Boguet_d'ancre