Formal equivalence checking and design debugging :: Shi-Yu Huang :: ISBN 079238184X :: Kluwer Academic 1998 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal equivalence checking and design debugging
Author Shi-Yu Huang
Contributor Kwang-Ting Cheng
Publisher Kluwer Academic
Publication date 1998
Publication location Boston, Mass.
Language English

Descriptive Notes

Bibliography: p211-222. _ Includes index.

Topics

Integrated circuits :: Verification
Electronic circuit design :: Data processing
Application specific integrated circuits :: Design and construction

Catalogue Data

OBNB ID GB9852180
ISBN 10 079238184X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.3815

ISBD

P1053 xviii,229p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal equivalence checking and design debugging by Shi-Yu Huang. ISBN 079238184X. Published by Kluwer Academic in 1998. Publication and catalogue information, links to buy online and reader comments.