Logic programming analysis of asynchronous digital circuits

Logic programming analysis of asynchronous digital circuits

Bibliographic Details
Main Author:	Gaubatz, Donald Almo
Published:	University of Cambridge 1991
Subjects:	621.3192 Circuits
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.386062

Similar Items

Verification and synthesis of asynchronous control circuits using Petri net unfoldings
by: Semenov, Alexei
Published: (1997)

Optimal testing of multilevel logic circuits
by: Bystrov, Alexandre
Published: (1999)

Logic circuit testability for reconvergent fan-out nodes
by: Roberts, M. W.
Published: (1986)

Formalising an integrated circuit design style in higher order logic
by: Dhingra, Inderpreet Singh
Published: (1988)

Matrix representations and methods in the analysis and design of digital circuits
by: Fleming, Alan Ralph
Published: (1990)

The characterisation and termination of lossless coupled transmission lines for high speed logic circuits
by: Scurr, David
Published: (1980)

Analogue reliability tests on digital integrated circuits
by: Xu, Y.
Published: (1986)

Adaptive networks for fault detection in digital circuits
by: Al-Bandar, Z.
Published: (1982)

Testing hybrid circuits using digital techniques
by: Damianos, J.
Published: (1987)

On fault simulation of digital circuits by critical path tracking
by: Chen, C.
Published: (1992)

Design and implementation of gallium arsenide digital integrated circuits
by: Welbourn, Anthony David
Published: (1988)

Deductive diagnosis of multiple faults in combinational digital electronic circuits by analysis of critical paths
by: Sangwine, S. J.
Published: (1991)

Testing of digital CMOS integrated circuits : the multidimensional testing paradigm
by: Maiuri, Ovidio V.
Published: (1998)

Improved analog to digital converter circuits using CMOS technology
by: Tenten, Wilfried
Published: (1990)

On the nature and effect of power distribution noise in CMOS digital integrated circuits
by: Johnstone, Kevin Kennedy
Published: (1991)

A self-routing asynchronous crossbar switch for multiprocessors based micropipelines
by: Picon, Andoni Irizar
Published: (1998)

Radiation hard CMOS circuits in isolated substrate technology for analogue to digital conversion
by: Edwards, Christopher Francis
Published: (1998)

A digital program for transient calculation in electrical networks
by: Murray-Shelby, R.
Published: (1980)

C.C.D. logic gates
by: Montgomery, J. H.
Published: (1984)

The integrated design of printed circuit boards and their in-circuit test fixtures
by: Gallagher, Charles
Published: (1996)

Logic synthesis based on the Reed-Muller representation
by: Saul, Jonathan
Published: (1991)

Parallel logic simulation and applied formal methods
by: Wood, Kenneth Robert
Published: (1992)

Parallel demand - driven simulation of logic networks
by: Gittings, Christopher Jeremy John
Published: (1992)

Synthesis of analogue circuits
by: Lam, Yvonne Ying Hung
Published: (2001)

The design of high speed multipliers and their implementation in differential logic
by: Grist, Darren
Published: (2000)

Electromigration in integrated circuit interconnects
by: Clarke, Peter John
Published: (1993)

Computer aided circuit modelling
by: Odam, K. D.
Published: (1976)

Chaotic behaviour in electronic circuits
by: Nasser, Abdelmoneim Abdelbary Abdelkawy
Published: (1992)

Microwave circuit interconnect and characterization
by: Linton, David
Published: (1992)

Iterative electronic circuits and chaos
by: Deane, Jonathan H. B.
Published: (1990)

Analysis and design of dynamic circuit switching interconnection networks for parallel processing systems
by: Harissis, Anastosios
Published: (1990)

Passive open planar microwave circuit analysis by enhanced spectral domain method
by: Balik, Hasan Huseyin
Published: (1997)

Analysis of digital filter networks
by: Kwan Hon-Keung, K.
Published: (1981)

SPICE circuit models for semiconductor lasers
by: Chen, Jenkins C. H.
Published: (2000)

Corrosion protection of microelectronic circuits by epoxides
by: Goosey, M. T.
Published: (1982)

Three-dimensional integrated circuit layout
by: Harter, Andrew Charles
Published: (1990)

The fault diagnosis of toleranced analogue circuits
by: Hamadah, H. A.
Published: (1986)

Theory and design of multiphase synchronous circuits
by: Poriazis, S.
Published: (1993)

Fault diagnosis in printed circuit boards
by: Barnfield, Stephen J.
Published: (1993)

A macromodel for resonant converter circuits
by: Wong, Siu Chung
Published: (1997)