The synthesis of self-timed circuits by formal methods

The synthesis of self-timed circuits by formal methods

Bibliographic Details
Main Author:	Keeble, Clifford George
Published:	University of Southampton 1993
Subjects:	621.3192 Digital logic
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239920

Similar Items

Detecting bridging faults in CMOS circuits
by: Evans, Richard J.
Published: (1991)

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

Cost modelling for VLSI circuit conversion to aid testability
by: Miles, J. R.
Published: (1988)

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

Critical design issues for gallium arsenide VLSI circuits
by: Bushehri, Ebrahim
Published: (1992)

Protection methods for power-transistor circuits
by: Saied, B. M.
Published: (1983)

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

MAD : a synthesis suite for the design of easily testable combinational circuits
by: Miller, Peter John
Published: (1987)

Algorithms to determine the positioning of built-in self-test structures in VLSI circuits with references to an economic model
by: Austwick, Michael Steven
Published: (1989)

The application of self commutated converter circuits for static reactive power compensation
by: Trainer, D. R.
Published: (1991)

On-line self-testing of switched-current circuits and voltage-to-current converters
by: Abu-Shahla, Osama Khader Hamed
Published: (1998)

Self checking circuits applied to the fault diagnosis of microprocessor based systems
by: Hollis, T. J.
Published: (1986)

Defect-tolerant Field-Programmable Gate Arrays
by: Howard, Neil John
Published: (1994)

Double barrier resonant tunnelling diodes and applications
by: Sellai, Azzouz
Published: (1991)

Integrating logic and objects for knowledge representation and reasoning
by: Hatzilygeroudis, Ioannis
Published: (1992)

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

Microwave GaAs MESFET circuit design using time-domain simulation
by: Choo, Boy Lee
Published: (1988)

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

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

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)

Design methods for asynchronous circuits
by: Lloyd, David W.
Published: (1995)

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

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

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)

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

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

Vortex amplifier dynamics and circuit instabilities
by: Kitsios, Efstathios E.
Published: (1984)

Circuits for trapatt diode oscillators and amplifiers
by: Segar, P. L.
Published: (1982)

Microwave performance of thick-film circuits
by: Verner, William J.
Published: (1988)

Fault-oriented testing of MOS circuits
by: Burgess, N.
Published: (1986)

Algorithms for the statistical design of electrical circuits
by: Soin, R. S.
Published: (1980)

Wedge diffraction in planar microwave circuits
by: Marchetti, S.
Published: (1992)

Finite-difference time-domain method for combined large signal circuit and electromagnetic field analysis
by: Chen, Qiang
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_02v599cn7u9ib6c5p0g04h70ip