Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1331-9483-0 |
Объём: | 108 страниц |
Масса: | 184 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Property Specification Language (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be simulated or formally verified. Since September 2004 the standardization on the language has been done in IEEE 1850 working group. In September 2005, the IEEE 1850 Standard for Property Specification Language (PSL) was announced.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.