(The Springer International Series in Engineering and Computer Science 163) Abhijit Ghosh, Srinivas Devadas, A. Richard Newton (auth.)-Sequential Logic Testing and Verification-Springer US (1992).pdf

文档介绍：SEQUENTIAL LOGIC TESTING
AND VERIFICATION
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING PUTER SCIENCE
VLSI, COMPUTER ARCIllTECfURE AND
DIGITAL SIGNAL PROCESSING
Consulting Editor
Jonathan Allen
Latest Titles
VLSf Desigll works, U. Ramacher, U. Ruckert
ISBN: 0-7923-9127-6
SYllchrollizatioll Desigll for Digillll Systems, T. H. Meng
ISBN: 0-7923-9128-4
HardwtUtl AlIlIealillg ill Analog VLSf putillg, B. W. Lee, B. J. Sheu
ISBN: 0-7923-9132-2
Neural NeJworks aJUl Speech Processillg, D. P. Morgan, Scofield
ISBN: 0-7923-9144-6
Silicoll-oll-IlISUlator Technology: Malerials to VLSf, . Colinge
ISBN: 0-7923-91S0-O
Microwave SemicoJUluetor Devices, S. Yngvesson
ISBN: 0-7923-91S6-X
A Suwey ofHigh-Level Sylflhesis Systems, R. A. Walker, R. Camposano
ISBN: 0-7923-91S8-6
Symbolic Allalysis for Automated Desigll ofAnalog I1Ifegrated Circuits,
G. Gielen, W. Sausen,
ISBN: 0-7923-9161-6
High-Level VLSf Sylflhesis, R. Camposano, W. Wolf,
ISBN: 0-7923-91S9-4
I1Ifegrati1lg Furu:tional aJUl Tllmporal DomaillS ill Logie Desigll: The False Path
Probkm and itsImplieatiollS, P. C. McGeer, R. K. Brayton,
ISBN: 0-7923-9163-2
Neural Models aJUlAlgorithmsfor Digilal Testing, S. T. Chakradhar,
V. D. Agrawal, M. L. Bushnell,
ISBN: 0-7923-9165-9
MOIlle Carlo Devicll SimulatiOIl: FuU BaJUl aJUl BeyoJUl, Karl Hess, editor
ISBN: 0-7923-9172-1
The Design mu1lieating Systems: A Systllm E IIgilleerillg Approach,

ISBN: 0-7923-9203-S
PaNUelAlgorithms aJUl Architectures for DSP ApplicatiollS,
. Bayoumi, editor
ISBN: 0-7923-9209-4
Digillll Speech Processing: Speech Coding, Sylflhesis and Recogllition,
A. Nejat Inee, editor
ISBN: 0-7923-9220-5
Assessillg FaultModel alld Test Quality, . Buder and M. R. Mercer
ISBN: 0-7923-9222-1
Optimal VLSI Architectural Sylflhllsis: Area, Performaru:. aJUl TlIsllJbility
Gebotys and . Elmasry
ISBN: 0-7923-