Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Designing correct circuits proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Saved in:

Bibliographic Details
Other Authors:	Staunstrup, J. 1952- (Jorgen), Sharp, Robin 1942-
Format:	Book
Published:	Amsterdam New York North-Holland Elseviemr Science Pub. Co. [distributorc1992
Series:	IFIP transactions. A-5
Subjects:	Electronic digital computers > Congresses > Design and construction > Data processing > Congresses > Circuits Electronic circuit design > Congresses > Data processing > Design and construction > Data processing > Congresses Computer-aided design > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Electronic design automation frameworks proceedings of the Second IFIP WG 10.2 Workshop on Electronic Design Automation Frameworks, Charlottesville, VA, U.S.A., 26-28 November 1990
Published: (1991)

Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983
Published: (1983)

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)

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)

Design, automation, and test in Europe the most influential papers of 10 years DATE
Published: (2008)

Electronic Design Automation Frameworks Proceedings of the ... held, 23-25 March, 1992
Published: (1995)

Digital logic circuit analysis and design
Published: (1995)

Digital design using field programmable gate arrayys
by: Chan, Pak K
Published: (1994)

Synthesis for control dominated circuits selected papers from the IFIP WG10.2/WG10.5 workshops, Grenoble, France, April and September 1992
Published: (1993)

Computer circuits electrical design
by: Poon, Ron K
Published: (1995)

Digest of technical papers
Published: (1987)

Digital system design using VHDL
by: Roth, Charles H
Published: (1998)

Digest of technical papers

CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
Published: (1992)

Digital computer circuits and concepts
by: Deem, Bill R
Published: (1980)

Computer aided logical design with emphasis on VLSI
by: Hill, Fredrick J
Published: (1993)

Contemporary logic design
by: Katz, Randy H. 1955-
Published: (1994)

Fundamentals of structured hardware design a design language approach at register transfer level
by: Hartenstein, Reiner
Published: (1977)

Contemporary logic design
by: Katz, Randy H. 1955-
Published: (2005)

An introduction to logical design of digital circuits
by: Reeves, Colin Morrison
Published: (1972)

Fundamentals of digital logic with VHDL design
by: Brown, Stephen D.
Published: (2005)

Fundamentals of digital logic with VHDL design
by: Brown, Stephen
Published: (2000)

FUNDAMENTALS OF DIGITAL LOGIC WITH VHDL DESIGN
by: Brown, Stephen D
Published: (2000)

Fundamentals of digital logic with VHDL design
by: Brown, Stephen
Published: (2004)

Reka Bentuk Logik
by: Rosilah Hassan, et al.
Published: (2007)

Designing electronic circuits a manual of procedures and essential reference data
by: Middleton, Robert Gordon 1908-
Published: (1985)

Systems engineering, 2007
Published: (2007)

Fundamentals of digital logic and microcomputer design
by: Rafiquzzaman, Mohamed
Published: (2005)

Nation's Prosperity Through Electronic Design proceedings of the 1st national conference on electronic deesign held at Putra Palace Hotel, Kangar, 18-19 May 2005
Published: (2005)

Logic circuit design
by: Shaw, Alan W
Published: (1993)

Computer aided logical design with emphasis on VLSI
by: Hill, Fredrick J.
Published: (1993)

Logic design with Pascal computer-aided design techniques
by: Downs, Thomas 1946-
Published: (1988)

Analog circuit design structured mixed-mode design, multi-bit sigma-delta converters, short range RF circuits
Published: (2002)

Computer methods for circuit analysis and design /00
by: Vlach, Jiri
Published: (1983)

Design of marine and offshore structures Fourth International Conference on Computer Aided Design, Manufacture and Operation in the Marine and Offshore Industries
Published: (1992)

Computer-aided circuit design: simulation and optimization
by: Director, Stephen W. 1943-
Published: (1973)

Microelectronic circuits analysis and design
by: Rashid, Muhammad H.
Published: (1999)

Computer-aided design of microelectronic circuits and systems fundamentals, methods, and tools
by: Schwarz, A. F
Published: (1987)

Asynchronous design methodologies proceedings of the ... held 31 March-2 April, 1993
Published: (1993)

Digital systems design using VHDL
by: Roth, Charles H., et al.
Published: (2008)