Technical Reports

Accellera technical reports describe technical inventions developed by Accellera committee members during the standardization process. These reports are intended to provide additional details to explain certain materials in the language reference manuals.

Accellera recognizes John Havlicek of Freescale Semiconductor for the original idea to write and publish technical reports. These are a few examples of the technical excellence that Accellera produces.

"Notes on the Semantics of Local Variables in Accellera SystemVerilog 3.1 Concurrent Assertions" by John Havlicek and Kurt Shultz of Freescale Semiconductor; Roy Armoni of Intel; and Surrendra Dudani and Eduard Cerny of Synopsys

"Basic Results on the Semantics of Accellera PSL 1.1 Foundation Language" by John Havlicek of Freescale Semiconductor; Dana Fisman of IBM Haifa Research Lab & Weizmann Institute of Science; and Cindy Eisner of IBM Haifa Research Lab.

"The \top, \bot Approach for Truncated Semantics" by Cindy Eisner of IBM Haifa Research Lab; Dana Fisman of IBM Haifa Research Lab & Weizmann Institute of Science; John Havlicek of Freescale Semiconductor; and Johan Martensson of Jasper Design Automation.