Books by IEEE Computer Society. Design Automation Standards Committee
IEEE standard for property specification language (PSL)
IEEE standard for SystemVerilog--unified hardware design, specification, and verification language
IEEE standard for VHDL register transfer level (RTL) synthesis
IEEE standard for VHDL waveform and vector exchange to support design and test verification (WAVES) language reference manual
IEEE standard interface for ha
IEEE standard interface for hardware description models of electronic components
IEEE standard VHDL mathematica
IEEE standard VHDL mathematical packages