Back to Results
First PageMeta Content
Logic design / Electronic design automation / Hillsboro / Oregon / Synopsys / Model checking / Automated theorem proving / Logic simulation / Electronic engineering / Digital electronics / Formal methods


CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD’98) Palo Alto, CA, USA 4 – 6 November 1998
Add to Reading List

Document Date: 2009-12-18 14:46:37

Open Document

File Size: 54,84 KB

Share Result on Facebook

City

Glasgow / Montreal / Palo Alto / /

Company

SRI International / IBM / Fujitsu / Synopsys / Texas Instruments / HP / ORA Corp. / Intel Corporation / Cadence Berkeley Labs / /

Country

Germany / United States / Canada / United Kingdom / Israel / Sweden / Spain / /

/

Facility

Stanford University / Weizmann Institute / /

IndustryTerm

web-page http /

Organization

Weizmann Institute / Stanford University / Univ. of Utah / Program Committee / Brigham Young Univ. / Cornell University / /

Person

C. Delgado Kloos / Jens Skakkebæk / J. Van Tassel / Carlos III / Brigham Young Univ / Phillip Windley / /

Position

Consultant / General / /

ProvinceOrState

Utah / /

SportsLeague

Stanford University / /

Technology

semiconductor / simulation / CAD / /

URL

http /

SocialTag