Skip to contents

Hedrich, Lars [Author]

Ansätze zur formalen Verifikation analoger Schaltungen - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1997

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 25700
Höreth, Stefan [Author]

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1999

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
Radecka, Katarzyna [Author]; Zilic, Zeljko [Author]

Verification by error modeling : using testing techniques in hardware verification

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston, Mass. [u.a.]: Kluwer, 2003

Published in: Frontiers in electronic testing
Sharp, Richard [Author]; Sharp, Richard William [Author]

Higher-level hardware synthesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2963
Borrione, Dominique [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 13 2005 Saarbrücken

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3725
Pierre, Laurence [Editor] ; CHARME 10 1999 Bad Herrenalb

Correct hardware design and verification methods : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 1999

Published in: Lecture notes in computer science ; 1703
Hachtel, Gary D. [Author]; Somenzi, Fabio [Author]

Logic synthesis and verification algorithms - [1st softcover ed]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: Springer, 2006
Geist, Daniel [Editor]; Tronci, Enrico [Other] ; CHARME 12 2003 L'Aquila

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2860
Ohana, Eric [Author]

Optimizing Verification of RTL Designs Using Reinforcement Learning Methods

View online
Schließen

Access

https://d-nb.info/1306548438/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bielefeld: Universitätsbibliothek Bielefeld, 2023
Sharp, Richard [Author]

Higher-Level Hardware Synthesis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 2963
Borrione, Dominique [Other]; Paul, Wolfgang [Other]

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3725
Pierre, Laurence [Author] ; Kropf, Thomas [Other]

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

Published in: Lecture notes in computer science ; 1703
Brandau, Christoph [Author]

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2019]

Published in: SpringerLink ; Bücher
Sharp, Richard [Author]

Higher-Level Hardware Synthesis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 296300

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication