Choose an application

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

Simulation and Verification of Electronic and Biological Systems provides a showcase for the Circuit and Multi-Domain Simulation Workshop held in San Jose, California, USA, on November 5, 2009. The nine chapters are contributed by experts in the field and provide a broad discussion of recent developments on simulation, modeling and verification of integrated circuits and biological systems. Specific topics include large scale parallel circuit simulation, industrial practice of fast SPICE simulation, structure-preserving model order reduction of interconnects, advanced simulation techniques for oscillator networks, dynamic stability of static memories and biological systems as well as verification of analog integrated circuits. Simulation and verification are fundamental enablers for understanding, analyzing and designing an extremely broad range of engineering and biological circuits and systems.  The design of nanometer integrated electronic systems and emerging biomedical applications have stimulated the development of novel simulation and verification techniques and methodologies. Simulation and Verification of Electronic and Biological Systems provides a broad discussion of recent advances on simulation, modeling and verification of integrated circuits and biological systems and offers a basis for stimulating new innovations.

Biological systems -- Computer simulation -- Congresses. --- Integrated circuits -- Computer simulation -- Congresses. --- Integrated circuits -- Verification -- Congresses. --- Nanoelectronics -- Congresses. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Biological systems --- Computer simulation. --- Simulation methods. --- Mathematical models. --- Biosystems --- Systems, Biological --- Engineering. --- Nanotechnology. --- Electronic circuits. --- Circuits and Systems. --- Simulation and Modeling. --- Nanotechnology and Microengineering. --- Biology --- System theory --- Systems biology --- Philosophy --- Systems engineering. --- Construction --- Industrial arts --- Technology --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design and construction --- Molecular technology --- Nanoscale technology --- High technology --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics

Choose an application

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

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995. The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

Integrated circuits --- Very large scale integration --- Computer-aided design --- Verification --- Congresses --- Design and construction --- Data processing --- Integrated circuits - Very large scale integration - Design and construction - Data processing - Congresses. --- Computer network architectures. --- Electronics. --- Data transmission systems. --- Software engineering. --- Logic design. --- Computer System Implementation. --- Electronics and Microelectronics, Instrumentation. --- Input/Output and Data Communications. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Data communication systems --- Transmission of data --- Digital communications --- Electronic data processing --- Electronic systems --- Information theory --- Telecommunication systems --- Electrical engineering --- Physical sciences --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Integrated circuits - Very large scale integration - Computer-aided design - Congresses. --- Integrated circuits - Verification - Congresses.

Choose an application

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

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Verification --- Congresses. --- Evaluation --- Vérification --- Congrès --- Integrated circuits --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Logic Design. --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Vérification --- Congrès --- Congresses --- Information theory. --- Communication theory --- Communication --- Computer software - Verification - Congresses --- Integrated circuits - Verification - Congresses

Choose an application

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

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G´erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

Integrated circuits --- Very large scale integration --- Computer-aided design --- Verification --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Computer hardware. --- Architecture, Computer. --- Software engineering. --- Computer logic. --- Computer engineering. --- Complexity, Computational. --- Computer Science. --- Computer System Implementation. --- Computer Engineering. --- Computer Hardware. --- Logics and Meanings of Programs. --- Software Engineering. --- Complexity. --- Computer network architectures. --- Logic design. --- Engineering. --- Construction --- Industrial arts --- Technology --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Architecture, Computer --- Design and construction --- Integrated circuits - Very large scale integration - Computer-aided design - Congresses --- Integrated circuits - Verification - Congresses

Choose an application

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

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".

Digital integrated circuits --- Integrated circuits --- Computer-aided design --- Verification --- Vérification --- Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Congresses --- Evaluation --- Vérification --- Congrès --- Computer software - Verification - Congresses. --- Electronic digital computers - Evaluation - Congresses. --- Logic design. --- Operating systems (Computers). --- Software engineering. --- Electronics. --- Logic, Symbolic and mathematical. --- Logics and Meanings of Programs. --- Operating Systems. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Electronics and Microelectronics, Instrumentation. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Electrical engineering --- Physical sciences --- Computer software engineering --- Engineering --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Operating systems --- Digital integrated circuits - Computer-aided design - Congresses --- Integrated circuits - Verification - Congresses --- Congresses.