Equivalence checking of digital circuits : fundamentals, principles, methods /
16
Main Authors: | , |
---|---|
Format: | |
Language: | eng |
Published: |
Dordrecht : Kluwer Academic Pubs.,
2004
|
Subjects: |
_version_ | 1796705685412511744 |
---|---|
author | 269272 Molitor, Paul Mohnke, Janett |
author_facet | 269272 Molitor, Paul Mohnke, Janett |
author_sort | 269272 Molitor, Paul |
collection | OCEAN |
description | 16 |
first_indexed | 2024-03-05T03:13:05Z |
format | |
id | KOHA-OAI-TEST:294554 |
institution | Universiti Teknologi Malaysia - OCEAN |
language | eng |
last_indexed | 2024-03-05T03:13:05Z |
publishDate | 2004 |
publisher | Dordrecht : Kluwer Academic Pubs., |
record_format | dspace |
spelling | KOHA-OAI-TEST:2945542020-12-19T17:09:40ZEquivalence checking of digital circuits : fundamentals, principles, methods / 269272 Molitor, Paul Mohnke, Janett Dordrecht : Kluwer Academic Pubs.,2004eng16PSZJBLDigital electronicsURN:ISBN:1402077254 (hbk.) |
spellingShingle | Digital electronics 269272 Molitor, Paul Mohnke, Janett Equivalence checking of digital circuits : fundamentals, principles, methods / |
title | Equivalence checking of digital circuits : fundamentals, principles, methods / |
title_full | Equivalence checking of digital circuits : fundamentals, principles, methods / |
title_fullStr | Equivalence checking of digital circuits : fundamentals, principles, methods / |
title_full_unstemmed | Equivalence checking of digital circuits : fundamentals, principles, methods / |
title_short | Equivalence checking of digital circuits : fundamentals, principles, methods / |
title_sort | equivalence checking of digital circuits fundamentals principles methods |
topic | Digital electronics |
work_keys_str_mv | AT 269272molitorpaul equivalencecheckingofdigitalcircuitsfundamentalsprinciplesmethods AT mohnkejanett equivalencecheckingofdigitalcircuitsfundamentalsprinciplesmethods |