IEEE Computer Society. Design Automation Standards Committee

IEEE standard for property specification language (PSL)
IEEE Computer Society. Design Automation Standards Committee · 2010
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2010
- Language
- English
- Series
- IEEE Std
- Publisher
- Institute of Electrical and Electronics Engineers
- Editions
- 1
- Pages
- 171
- ISBN
- 9780738162553
Data source: Wikidata
More by IEEE Computer Society. Design Automation Standards Committee
IEEE Computer Society. Design Automation Standards Committee

IEEE standard for SystemVerilog--unified hardware design, specification, and verification language
IEEE Computer Society. Design Automation Standards Committee · 2010
IEEE Computer Society. Design Automation Standards Committee

IEEE Standard VHDL analog and mixed-signal extensions
IEEE Computer Society. Design Automation Standards Committee · 2007
IEEE Computer Society. Design Automation Standards Committee

IEEE standard for VHDL register transfer level (RTL) synthesis
IEEE Computer Society. Design Automation Standards Committee · 2000
IEEE Computer Society. Design Automation Standards Committee

IEEE standard for VHDL waveform and vector exchange to support design and test verification (WAVES) language reference manual
IEEE Computer Society. Design Automation Standards Committee · 1999
IEEE Computer Society. Design Automation Standards Committee
IEEE standard interface for hardware description models of electronic components
IEEE Computer Society. Design Automation Standards Committee · 1999