Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Digital integrated circuits --- Computer-aided design --- Automatic theorem proving --- Integrated circuits --- Conception assistée par ordinateur --- Théorèmes --- Circuits intégrés --- Design and construction --- Data processing --- Congresses. --- Verification --- Congrès --- Démonstration automatique --- Vérification --- Computer engineering --- Formal methods (Computer science) --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Congresses --- Computer aided design. --- Information theory. --- Computer hardware. --- Logic design. --- Computer science. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Theory of Computation. --- Computer Engineering. --- Computer Hardware. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Digital integrated circuits - Computer-aided design - Congresses. --- Automatic theorem proving - Congresses. --- Integrated circuits - Verification - Congresses. --- Computer engineering - Computer-aided design - Congresses. --- Formal methods (Computer science) - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital integrated circuits --- Automatic theorem proving --- Integrated circuits --- Computer engineering --- Formal methods (Computer science) --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer-aided design --- Verification --- Computer science. --- Computer hardware. --- Computer logic. --- Mathematical logic. --- Computer-aided engineering. --- Complexity, Computational. --- Computer Science. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computer Hardware. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Complexity. --- Digital electronics --- Design and construction --- Data processing --- Congresses --- Computer aided design. --- Logic design. --- Engineering. --- Construction --- Industrial arts --- Technology --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- CAE --- Engineering --- Computers --- Digital integrated circuits - Computer-aided design - Congresses --- Automatic theorem proving - Congresses --- Integrated circuits - Verification - Congresses --- Computer engineering - Computer-aided design - Congresses --- Formal methods (Computer science) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These are the proceedings of the fifth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15–17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized reasoning to all aspects of computer-aided system design, including specification, verification, synthesis, and testing. FMCAD’s heritage dates back 20 years to some of the earliest conferences on the subject of formal reasoning and computer-aided design. Since 1996,FMCAD has assumed its present form, held biennially in North America, alternating with its sister conference CHARME in Europe. We are delighted to report that our research community continues to flourish: we received 69 paper submissions,with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the intellectual quality of the conference. We would also like to thank the steering committee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors – AMD, IBM, Intel, and Synopsys – for financial support that helped make this conference possible.

Digital integrated circuits --- Integrated circuits --- Formal methods (Computer science) --- Computer-aided design --- Verification --- Design and construction --- Mathematics --- Computer science. --- Computer hardware. --- Software engineering. --- Logic design. --- Artificial intelligence. --- Computer aided design. --- Computer Science. --- Computer Hardware. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Computer-Aided Engineering (CAD, CAE) and Design. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Computer logic. --- Mathematical logic. --- Computer-aided engineering. --- Digital electronics --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- CAE --- Data processing --- Digital integrated circuits - Computer-aided design - Congresses --- Integrated circuits - Verification - Congresses --- Formal methods (Computer science) - Congresses --- Digital integrated circuits - Design and construction - Mathematics - Congresses --- Logic, Symbolic and mathematical.