Skip to contents

Bertacco, Valeria [Author]

Scalable hardware verification with symbolic simulation

Close

Bookmarks

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

New York, NY: Springer, 2006
Wagner, Ilya [Author]; Bertacco, Valeria [Author]

Post-silicon and runtime verification for modern processors

Close

Bookmarks

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

New York; Dordrecht; Heidelberg [u.a.]: Springer, 2011
Chang, Kai-hui [Author]; Markov, Igor L. [Author]; Bertacco, Valeria [Author]

Functional design errors in digital circuits : diagnosis, correction and repair

Close

Bookmarks

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

[Dordrecht [u.a.]]: Springer, 2009

Published in: Lecture notes in electrical engineering ; 3200
Bertacco, Valeria [Organizer] ; ACM/EDAC/IEEE Design Automation Conference 54. 2017 Austin, Tex, Institute of Electrical and Electronics Engineers, Association for Computing Machinery, Electronic Design Automation Consortium

Proceedings of the 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)

View online
Schließen

Access

http://ieeexplore.ieee.org/servlet/opac?punumber=8024229

Show more show less

Close

Bookmarks

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

Piscataway, NJ: IEEE, 2017
Bertacco, Valeria [Author] ; Legay, Axel [Editor]

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, 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.

Cham [u.a.]: Springer, 2013

Published in: Lecture notes in computer science ; 8244
Massoud, Rehab [Author] ; Drechsler, Rolf [Degree supervisor]; Bertacco, Valeria [Degree supervisor] Universität Bremen

Evidence-oriented tracing and verification : the declaration of timeprints

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.

Bremen, 2021
Chang, Naehyuck [Organizer]; Bertacco, Valeria [Organizer] ; Design Automation Conference 53. 2016 Austin, Tex, Association for Computing Machinery, Electronic Design Automation Consortium, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers

Proceedings of the 53rd ACM/EDAC/IEEE Design Automation Conference (DAC)

View online
Schließen

Access

http://ieeexplore.ieee.org/servlet/opac?punumber=7502236

Show more show less

Close

Bookmarks

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

Piscataway, NJ: IEEE, 2016
Becker, Bernd [Author]; Bertacco, Valeria [Author]; Drechsler, Rolf [Author]; Fujita, Masahiro [Author] ; Bernd Becker and Valeria Bertacco and Rolf Drechsler and Masahiro Fujita [Contributor]

09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Bertacco, Valeria

Hardware and Software: Verification and Testing: Verification Failures: What to Do When Things Go Wrong

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.

Springer Berlin Heidelberg, 2011

Published in: Hardware and Software: Verification and Testing
Lee, Doowon; Bertacco, Valeria

Bypassing Multicore Memory Bugs with Coarse-Grained Reconfigurable Logic

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2021

Published in: IEEE Transactions on Computers
Addisie, Abraham; Bertacco, Valeria

Collaborative Accelerators for Streamlining MapReduce on Scale-up Machines With Incremental Data Aggregation

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2020

Published in: IEEE Transactions on Computers
Parikh, Ritesh; Bertacco, Valeria

Resource Conscious Diagnosis and Reconfiguration for NoC Permanent Faults

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2016

Published in: IEEE Transactions on Computers
Pellegrini, Andrea; Bertacco, Valeria

Cardio: CMP Adaptation for Reliability Through Dynamic Introspective Operation

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2014

Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Parikh, Ritesh; Bertacco, Valeria

ForEVeR : A complementary formal and runtime verification approach to correct NoC functionality : A complementary formal and runtime verification approach to correct NoC functionality

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2014

Published in: ACM Transactions on Embedded Computing Systems
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

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.

ACM Press, 2002

Published in: Proceedings of the 39th conference on Design automation - DAC '02
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

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.

ACM Press, 2002

Published in: Proceedings of the 39th conference on Design automation - DAC '02
McCrabb, Andrew; Bertacco, Valeria

Optimizing Vertex Pressure Dynamic Graph Partitioning in Many-Core Systems

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2021

Published in: IEEE Transactions on Computers
Abdel-Khalek, Rawan; Bertacco, Valeria

Post-silicon platform for the functional diagnosis and debug of networks-on-chip

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2014

Published in: ACM Transactions on Embedded Computing Systems
Goyal, Vidushi; Das, Reetuparna; Bertacco, Valeria

Hardware-friendly User-specific Machine Learning for Edge Devices

View online
Schließen

Access

Close

Bookmarks

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

Association for Computing Machinery (ACM), 2022

Published in: ACM Transactions on Embedded Computing Systems
Kakoee, Mohammad Reza; Bertacco, Valeria; Benini, Luca

At-Speed Distributed Functional Testing to Detect Logic and Delay Faults in NoCs

View online
Schließen

Access

Close

Bookmarks

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

Institute of Electrical and Electronics Engineers (IEEE), 2014

Published in: IEEE Transactions on Computers

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