TY - BOOK ID - 5315500 TI - Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings AU - Aagaard, Mark D. AU - O'Leary, John W. AU - FMCAD 2002 PY - 2002 VL - 2517 SN - 03029743 SN - 3540001166 354036126X 9783540001164 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Digital integrated circuits KW - Integrated circuits KW - Formal methods (Computer science) KW - Circuits intégrés KW - Méthodes formelles (Informatique) KW - Computer-aided design KW - Congresses KW - Verification KW - Design and construction KW - Mathematics KW - Vérification KW - Congrès KW - Electrical Engineering KW - Electrical & Computer Engineering KW - Engineering & Applied Sciences KW - Circuits intégrés KW - Méthodes formelles (Informatique) KW - Vérification KW - Congrès KW - Computer science. KW - Computer hardware. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Computer-aided engineering. KW - Electrical engineering. KW - Computer Science. KW - Computer-Aided Engineering (CAD, CAE) and Design. KW - Computer Hardware. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Electrical Engineering. KW - Digital electronics KW - Computer aided design. KW - Logic design. KW - Computer engineering. KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer software engineering KW - Engineering KW - CAD (Computer-aided design) KW - Computer-assisted design KW - Computer-aided engineering KW - Design KW - Computers KW - Electric engineering KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - CAE KW - Data processing KW - Digital integrated circuits - Computer-aided design - Congresses KW - Integrated circuits - Verification - Congresses KW - Formal methods (Computer science) - Congresses KW - Digital integrated circuits - Design and construction - Mathematics - Congresses KW - Logic, Symbolic and mathematical. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5315500 AB - This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2. ER -