Search Results

1

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /

Formal methods in computer-aided design : 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /

Published 2004

Conference Proceeding Book

2

Digest of technical papers : November 9-12, 1987, Convention Center, Santa Clara, California /

Digest of technical papers : November 9-12, 1987, Convention Center, Santa Clara, California /

Published 1987

Conference Proceeding Book

3

Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

Published 1991

Conference Proceeding Book

4

Digest of technical papers /

Digest of technical papers /

Published 1984

Conference Proceeding Book

5

Digest of technical papers : November 18-November 21, 1985, Marritt Hotel, Santa Clara, California /

Digest of technical papers : November 18-November 21, 1985, Marritt Hotel, Santa Clara, California /

Published 1985

Conference Proceeding Book

6

Digest of technical papers /

Digest of technical papers /

Published 1986

Conference Proceeding Book

7

Digest of technical papers /

Digest of technical papers /

Published 1983

Conference Proceeding Book

8

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Published 1995

Conference Proceeding Book

9

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings /

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceed...

Published 2000

Conference Proceeding Book

10

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Published 1990

Conference Proceeding Book

11

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Published 1990

Conference Proceeding Book

12

Hardware accelerators for electrical CAD : papers presented at the International Workshop on Hardware Accelerators, Oxford, 30 September-2 October, 1987 /

Hardware accelerators for electrical CAD : papers presented at the International Workshop on Hardware Accelerators, Oxford, 30 September-2 October, 1987 /

Published 1988

Conference Proceeding Book

13

VLSI : systems on a chip : IFIP TC10 WG 10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal /

VLSI : systems on a chip : IFIP TC10 WG 10.5 Tenth International Conference on Very Large Scale Integration (VLSI'99), December 1-4, 1999, Lisboa, Portugal /

Published 1999

Conference Proceeding Book

14

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings /

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings /

Published 1993

Conference Proceeding Book

15

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Published 1995

Conference Proceeding Book

16

Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME 9̕5, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME 9̕5, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Published 1995

Conference Proceeding Book