عنوان

Reasoning in boolean networks : logic synthesis and verification using testing techniques

72616

English

Kunz, Wolfgang

Reasoning in boolean networks : logic synthesis and verification using testing techniques

Boston

Kluwer Academic Pub.

1997

xv, 230 p. : ill. ; 25 cm

Frontiers in electronic testing

Includes bibliographical references and index

by Wolfgang Kunz and Dominik Stoffel

Testing -- Data processing ، Integrated circuits -- Very large scale integration

Data processing ، Integrated circuits -- Verification

Data processing ، Logic design

7874

K866

1997

AU kinimroD ,leffotS joint auth.

ک‌ه فیزی‌ه دانشکد‌ان‌ابخ‌کت