Search Results for Integrated circuits -- Verification.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

Andrews, Jason R.

(1)

(1)

Foster, Harry, 1956-

(1)

Fujita, Masahiro, 1956-

(1)

Ghosh, Indradeep, 1970-

(1)

Harris, Ian G..

(1)

(1)

Lavagno, Luciano, 1959-

(1)

(1)

Martin, Grant (Grant Edmund)

(1)

Meyer, Andreas (Andreas S.)

(1)

Perry, Douglas L.

(1)

Pradhan, Dhiraj K..

(1)

(1)

Scheffer, Louis Kossuth.

(1)

Thornton, Mitchell Aaron.

(1)

Yoeli, Michael, 1917-

(1)

Tümünü genişlet

Dil

(9)

Yayın Yılı

-

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Integrated circuits -- Verification.

(8)

Computer software -- Verification.

(2)

Formal methods (Computer science)

(2)

Asynchrones Schaltwerk.

(1)

Computerarchitektur.

(1)

Electronic books.

(1)

Electronic circuits -- Testing.

(1)

Geschwindigkeitsunabhängigkeit.

(1)

Hardwareverifikation.

(1)

Integrated circuits -- Computer simulation.

(1)

Integrated circuits -- Computer-aided design.

(1)

Integrated circuits -- Verification -- Data processing.

(1)

Integrated circuits -- Very large scale integration.

(1)

Integrierte Schaltung.

(1)

LOTOS (Computer program language)

(1)

(1)

Sequential machine theory.

(1)

Switching circuits.

(1)

Systems on a chip -- Testing.

(1)

Systems on a chip.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

9 sonuç bulundu

Arama sonuçlarına abone ol

1

000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Applied formal verification için kapak resmi

Applied formal verification

Applied formal verification

Yazar

Perry, Douglas L. Foster, Harry, 1956-

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Digital system verification a combined formal methods and simulation framework için kapak resmi

Digital system verification a combined formal methods and simulation framework

Digital system verification a combined formal methods and simulation framework

Yazar

Li, Lun, 1970- Thornton, Mitchell Aaron.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Practical Design Verification için kapak resmi

Practical Design Verification

Practical Design Verification

Yazar

Pradhan, Dhiraj K.. Harris, Ian G..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Yazar

Yoeli, Michael, 1917- Kol, Rakefet.

Yer Numarası

ONLINE

Elektronik Erişim

Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Verification techniques for system-level design için kapak resmi

Verification techniques for system-level design

Verification techniques for system-level design

Yazar

Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780123706164

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

EDA for IC system design, verification, and testing için kapak resmi

EDA for IC system design, verification, and testing

EDA for IC system design, verification, and testing

Yazar

Scheffer, Louis Kossuth. Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund)

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Co-verification of hardware and software for ARM SoC design için kapak resmi

Co-verification of hardware and software for ARM SoC design

Co-verification of hardware and software for ARM SoC design

Yazar

Andrews, Jason R.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780750677301

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Principles of functional verification için kapak resmi

Principles of functional verification

Principles of functional verification

Yazar

Meyer, Andreas (Andreas S.)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780750676175

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Trace theory for automatic hierarchical verification of speed-independent circuits için kapak resmi

Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits

Yazar

Dill, David L.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11