Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

>> Google Books

Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings / edited by George J. Milne, Laurence Pierre

版:

1st ed. 1993

資料種別:

電子ブック

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 1993

形態:

IX, 275 p.

シリーズ名:

Lecture Notes in Computer Science ; 683

著者名:

ISBN:

9783540706557 [3540706550]
9783662213858 [3662213850]
9783540567783 [354056778X]

書誌ID:

EB00003085

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

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.

主題:

Arithmetic and Logic Structures; Computer Hardware; Computer Memory Structure; Control Structures and Microprogramming; Input/Output and Data Communications; Theory of Computation

言語:

英語

目次情報:

ブックレビュー

類似資料:

1 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings (: gw ; : us) Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence Springer-Verlag	7 電子ブック Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, … Dissaux, Pierre., Filali Amine, Mamoun., Michel, Pierre., Vernadat, Francois., SpringerLink (Online service) Springer US
2 電子ブック Dependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings Echtle, Klaus., Hammer, Dieter., Powell, David., SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Correct Hardware Design and Verification Methods : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings Camurati, Paolo Enrico., Eveking, Hans., SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, … Pierre, Laurence., Kropf, Thomas., SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. … Leeser, Miriam., Brown, Geoffrey., SpringerLink (Online service) Springer New York
4 電子ブック Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, … Margaria, Tiziana., Melham, Tom., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック LUCAS Associative Array Processor : Design, Programming and Application Studies Fernstrom, Christer., Kruzela, Ivan., Svensson, Bertil., SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, … Geist, Daniel., Tronci, Enrico., SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Correct Hardware Design and Verification Methods CHARME '93, Milne, George J., Pierre, Laurence SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, … Borrione, Dominique., Paul, Wolfgang., SpringerLink (Online service) Springer Berlin Heidelberg	12 図書 Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, … Advanced Research Working Conference on Correct Hardware Design Methodologies, Pierre, Laurence, Kropf, Thomas, 1961- Springer

1

2

3

4

5

6

7

8

9

10

11

12