UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

UGent (1)

ULiège (1)

Resource type

book (2)

Language

English (2)

Year

From To

2005 (1)

1994 (1)

Listing 1 - 2 of 2
Sort by

Hardware design verification : simulation and formal method-based approaches.
Author: Lam, William K. C.
ISBN: 0131433474 Year: 2005 Publisher: Upper Saddle River Prentice Hall

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Integrated circuits --- Verification

Timed boolean functions : a unified formalism for exact timing analysis
Authors: Lam, William K.C. --- Brayton, Robert King
ISBN: 0792394542 1461361567 1461526884 Year: 1994 Publisher: Boston, MA : Kluwer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Integrated circuits --- Computer algorithms. --- Algebra, Boolean --- Logic design --- Very large scale integration --- Design --- Data processing.

Listing 1 - 2 of 2
Sort by