M. Clarke Carnegie Mellon Ben Cohen / Inc Bernard Deadman SDV Inc / IBM Haifa Research Lab Tom Fitzpatrick Co-Design Automation Inc / Chen Verplex Systems Inc. / Motorola Inc. / Cadence Design Systems / Infineon Technologies / Co-Design Automation Inc. / Roy Armoni Intel Corp. / Harry Foster Jasper Design Automation Inc. / Sun Microsystems Adriana Maggiore AltraVerifica Ltd. / Verplex Systems Inc. / Cambridge John Havlicek Motorola Inc. / Accellera Organization Inc. / Gal Vardi Marvell Semiconductor Ltd / RTL / Yaron Kashai Verisity Design Inc. / Lab Christian Pichler Siemens Carl Pixley Synopsys Inc. / Ken Albin Motorola Inc. / TransEDA Technology Ltd / David Van Campenhout Verisity Design Inc. / Bassam Tabbara Novas Software Inc. / Joseph Lu Nvidia Inc. / In Design Automation Inc. / Johan Mårtensson Safelogic Anthony McIsaac STMicroelectronics Ltd. / Austin Andrea Fedeli STMicroelectronics Ltd. / /
Country
United States / / /
Facility
Allen Emerson University of Texas / Ltd. Dana Fisman Weizmann Institute of Science / Inc. Sandeep K. Shukla University of California / Gordon University of Cambridge John Havlicek Motorola / /
IndustryTerm
verification tools / testbench automation tool / final product / simulation tool / bus protocol / /
Organization
IBM Haifa Research Lab / Technical Committees / University of Texas at Austin / Carnegie Mellon / Rice University / University of California / Irvine / Inc. Daniel Geist IBM Haifa Research Lab Vassilios Gerousis Infineon Technologies Michael J.C. Gordon University of Cambridge John Havlicek Motorola / Weizmann Institute of Science / /
Person
Moshe Y. Vardi / Cindy Eisner / Ambar Sarkar / Michael Siegel / Richard Ho / Bow-Yaw Wang / Andrew Seawright / Thomas L. Anderson / Jayaram Bhasker / Erich Marschner / Klaus Winkelmann / Johan Alfredsson Safelogic Thomas / Lynn Horobin / / /
Position
design architect / Consultant / verification engineer / Co-Chair Group Chair Work Group / /
ProvinceOrState
Texas / California / /
Technology
Verilog / bus protocol / Finite State Machine / simulation / /
Property Specification Language Reference Manual Version 1.1 June 9, 2004