Search Results

1

Computational aspects of VLSI design with an emphasis on semiconductor device simulation /

Computational aspects of VLSI design with an emphasis on semiconductor device simulation /

Published 1990

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

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings /

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings /

Published 1986

Conference Proceeding Book

5

Proceedings of the IEEE 1985 Custom Integrated Circuits Conference, the Portland Hilton, Portland, Oregon, May 20-23, 1985.

Proceedings of the IEEE 1985 Custom Integrated Circuits Conference, the Portland Hilton, Portland, Oregon, May 20-23, 1985.

Published 1985

Conference Proceeding Book

6

VLSI and computers : proceedings /

VLSI and computers : proceedings /

Published 1987

Conference Proceeding Book

7

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

8

VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991 /

VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991 /

Published 1992

Conference Proceeding Book

9

Proceedings, Conference on Advanced Research in VLSI : January 25-27, 1982, Massachusetts Institute of Technology, Cambridge, Massachusetts, U.S.A. /

Proceedings, Conference on Advanced Research in VLSI : January 25-27, 1982, Massachusetts Institute of Technology, Cambridge, Massachusetts, U.S.A. /

Published 1981

Conference Proceeding Book

10

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Published 1990

Book

11

Advanced research in VLSI : proceedings of the fourth MIT conference, April 7-9, 1986 /

Advanced research in VLSI : proceedings of the fourth MIT conference, April 7-9, 1986 /

Published 1986

Conference Proceeding Book

12

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

13

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings /

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings /

Published 1988

Conference Proceeding Book

14

Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 /

Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 /

Published 1988

Conference Proceeding Book

15

Advanced research in VLSI : proceedings of the sixth MIT conference /

Advanced research in VLSI : proceedings of the sixth MIT conference /

Published 1990

Conference Proceeding Book

16

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

17

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 /

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 /

Published 1983

Conference Proceeding Book

18

Third Caltech Conference on Very Large Scale Integration : [papers] /

Third Caltech Conference on Very Large Scale Integration : [papers] /

Published 1983

Conference Proceeding Book

19

Advanced research in VLSI : proceedings of the 1987 Stanford Conference /

Advanced research in VLSI : proceedings of the 1987 Stanford Conference /

Published 1987

Conference Proceeding Book

20

Process and device simulation for MOS-VLSI circuits /

Process and device simulation for MOS-VLSI circuits /

Published 1983

Conference Proceeding Book