Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /

Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /

Show other versions (1)

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.

Saved in:
Bibliographic Details
Main Authors: Milne, George J. editor., Pierre, Laurence. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
Subjects:Computer science., Computer hardware., Microprogramming., Arithmetic and logic units, Computer., Computer memory systems., Input-output equipment (Computers)., Computers., Computer Science., Theory of Computation., Computer Hardware., Control Structures and Microprogramming., Arithmetic and Logic Structures., Memory Structures., Input/Output and Data Communications.,
Online Access:http://dx.doi.org/10.1007/BFb0021709
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:185368
record_format koha
spelling KOHA-OAI-TEST:1853682018-07-30T23:07:30ZCorrect Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings / Milne, George J. editor. Pierre, Laurence. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1993.engThese proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.A graph-based method for timing diagrams representation and verification -- A Petri Net approach for the analysis of VHDL descriptions -- Temporal analysis of time bounded digital systems -- Strongly-typed theory of structures and behaviours -- Verification and diagnosis of digital systems by ternary reasoning -- Logic verification of incomplete functions and design error location -- A methodology for system-level design for verifiability -- Algebraic models and the correctness of microprocessors -- Combining symbolic evaluation and object oriented approach for verifying processor-like architectures at the RT-level -- A theory of generic interpreters -- Towards verifying large(r) systems: A strategy and an experiment -- Advancements in symbolic traversal techniques -- Automatic verification of speed-independent circuit designs using the Circal system -- Correct compilation of specifications to deterministic asynchronous circuits -- DDD-FM9001: Derivation of a verified microprocessor -- Calculational derivation of a counter with bounded response time -- Towards a provably correct hardware implementation of occam -- Rewriting with constraints in T-ruby -- Embedding hardware verification within a commercial design framework -- An approach to formalization of data flow graphs.These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.Computer science.Computer hardware.Microprogramming.Arithmetic and logic units, Computer.Computer memory systems.Input-output equipment (Computers).Computers.Computer Science.Theory of Computation.Computer Hardware.Control Structures and Microprogramming.Arithmetic and Logic Structures.Memory Structures.Input/Output and Data Communications.Springer eBookshttp://dx.doi.org/10.1007/BFb0021709URN:ISBN:9783540706557
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computer hardware.
Microprogramming.
Arithmetic and logic units, Computer.
Computer memory systems.
Input-output equipment (Computers).
Computers.
Computer Science.
Theory of Computation.
Computer Hardware.
Control Structures and Microprogramming.
Arithmetic and Logic Structures.
Memory Structures.
Input/Output and Data Communications.
Computer science.
Computer hardware.
Microprogramming.
Arithmetic and logic units, Computer.
Computer memory systems.
Input-output equipment (Computers).
Computers.
Computer Science.
Theory of Computation.
Computer Hardware.
Control Structures and Microprogramming.
Arithmetic and Logic Structures.
Memory Structures.
Input/Output and Data Communications.
spellingShingle Computer science.
Computer hardware.
Microprogramming.
Arithmetic and logic units, Computer.
Computer memory systems.
Input-output equipment (Computers).
Computers.
Computer Science.
Theory of Computation.
Computer Hardware.
Control Structures and Microprogramming.
Arithmetic and Logic Structures.
Memory Structures.
Input/Output and Data Communications.
Computer science.
Computer hardware.
Microprogramming.
Arithmetic and logic units, Computer.
Computer memory systems.
Input-output equipment (Computers).
Computers.
Computer Science.
Theory of Computation.
Computer Hardware.
Control Structures and Microprogramming.
Arithmetic and Logic Structures.
Memory Structures.
Input/Output and Data Communications.
Milne, George J. editor.
Pierre, Laurence. editor.
SpringerLink (Online service)
Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
description These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.
format Texto
topic_facet Computer science.
Computer hardware.
Microprogramming.
Arithmetic and logic units, Computer.
Computer memory systems.
Input-output equipment (Computers).
Computers.
Computer Science.
Theory of Computation.
Computer Hardware.
Control Structures and Microprogramming.
Arithmetic and Logic Structures.
Memory Structures.
Input/Output and Data Communications.
author Milne, George J. editor.
Pierre, Laurence. editor.
SpringerLink (Online service)
author_facet Milne, George J. editor.
Pierre, Laurence. editor.
SpringerLink (Online service)
author_sort Milne, George J. editor.
title Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
title_short Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
title_full Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
title_fullStr Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
title_full_unstemmed Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /
title_sort correct hardware design and verification methods [electronic resource] : ifipwg10.2 advanced research working conference, charme'93 arles france may 24–26, 1993 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1993
url http://dx.doi.org/10.1007/BFb0021709
work_keys_str_mv AT milnegeorgejeditor correcthardwaredesignandverificationmethodselectronicresourceifipwg102advancedresearchworkingconferencecharme93arlesfrancemay24261993proceedings
AT pierrelaurenceeditor correcthardwaredesignandverificationmethodselectronicresourceifipwg102advancedresearchworkingconferencecharme93arlesfrancemay24261993proceedings
AT springerlinkonlineservice correcthardwaredesignandverificationmethodselectronicresourceifipwg102advancedresearchworkingconferencecharme93arlesfrancemay24261993proceedings
_version_ 1756265362073059328

Similar Items