<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-12-18 14:46:37Logic 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