|
FORMAT
BOOKS
PACKAGES
EDITION
PUBLISHER
CONTENT TYPE
Act
Admin Code
Announcements
Bill
Book
CADD File
CAN
CEU
Charter
Checklist
City Code
Code
Commentary
Comprehensive Plan
Conference Paper
County Code
Course
DHS Documents
Document
Errata
Executive Regulation
Federal Guideline
Firm Content
Guideline
Handbook
Interpretation
Journal
Land Use and Development
Law
Legislative Rule
Local Amendment
Local Code
Local Document
Local Regulation
Local Standards
Manual
Model Code
Model Standard
Notice
Ordinance
Other
Paperback
PASS
Periodicals
PIN
Plan
Policy
Product
Program
Provisions
Requirements
Revisions
Rules & Regulations
Standards
State Amendment
State Code
State Manual
State Plan
State Standards
Statute
Study Guide
Supplement
Technical Bulletin
All
|
Description of 62531-2012 2012Revision Standard - Active. The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE Std 1076™ (VHDL®), IEEE Std 1354 (Verilog®), IEEE Std 1666™ (SystemC®), and IEEE Std 1800™ (SystemVerilog®), thereby enabling a common specification and verification flow for multi-language and mixed-language designs. PSL captures design intent in a form suitable for simulation, formal verification, formal analysis, and hybrid verification tools. PSL enhances communication among architects, designers, and verification engineers to increase productivity throughout the design and verification process. The primary audiences for this standard are the implementors of tools supporting the language and advanced users of the languageThis book also exists in the following packages...Subscription InformationMADCAD.com IEEE Standards subscriptions are annual and access is unlimited concurrency based (number of people that can access the subscription at any given time. Listed IEEE Standards prices are applicaple for US firms whose annual revenue is less than $400 million. All others, please contact us at info@madcad.com or +1 800.798.9296.
Some features of MADCAD.com IEEE Standards Subscriptions are: - Immediate Access: As soon as the transaction is completed, your IEEE Standards Subscription will be ready for access.
For any further information on MADCAD.com IEEE Standards Subscriptions, please contact us at info@madcad.com or +1 800.798.9296.
About IEEEIEEE is the world's largest professional association dedicated to advancing technological innovation and excellence for the benefit of humanity. IEEE and its members inspire a global community through IEEE's highly cited publications, conferences, technology standards, and professional and educational activities. IEEE, pronounced "Eye-triple-E," stands for the Institute of Electrical and Electronics Engineers. The association is chartered under this name and it is the full legal name. IEEE creates an environment where members collaborate on world‐changing technologies – from computing and sustainable energy systems, to aerospace, communications, robotics, healthcare, and more. The strategic plan of IEEE is driven by an envisioned future that realizes the full potential of the role IEEE plays in advancing technology for humanity. The IEEE Brand Identity Toolkit explains the basic usage rules for all corporate identity elements and how to utilize them to create a powerful and consistent communications pieces. IEEE is led by a diverse body of elected and appointed volunteer members. The governance structure includes boards for operational areas as well as bodies representing members in the 45 Societies and technical Councils and ten worldwide geographic regions. |
GROUPS
|
|
MADCAD.com
by Compu-tecture, Inc.
|
Contact Us
3000 Connecticut Ave, NW
Suite 200
Washington, DC 20008
+1 800.798.9296
+1 202.265.1940
|
|
Partnerships
|