]> 2026-05-14T08:00:07+00:00 IEEE DASC standards 14 en 2011-02-13T21:45:56Z 2455606.4068981 IEEE DASC standards IEEE 1164 0 en IEEE 1164 Property Specification Language 0 en Property Specification Language Standard Delay Format 0 en Standard Delay Format Verilog 0 en Verilog IEEE 1164 0 en IEEE 1164 Property Specification Language 0 en Property Specification Language Standard Delay Format 0 en Standard Delay Format Verilog 0 en Verilog INST 102 en INST