yr 〜
yr

Search results 4

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings : Nov 2013, Haifa, Israel. (Lecture Notes in Computer Science ; 8244)
Paper図書
Springerc2013.<M17-14-1312>
National Diet Library
  • Author Heading...Haifa, Israel) Bertacco, Valeria. Legay, Axel. IBM Research Hai...

Post-silicon and runtime verification for modern processors

Post-silicon and runtime verification for modern processors
Paper図書
Ilya Wagner, Valeria Bertacco.Springerc2011.<M159-B134>
National Diet LibraryOther Libraries in Japan
  • Author HeadingWagner, Ilya. Bertacco, Valeria.

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

Functional design errors in digital circuits : diagnosis, correction and repair
Paper図書
Kai-hui Chang, Igor L. Markov, Valeria BertaccoSpringerc2009
Other Libraries in Japan

Scalable hardware verification with symbolic simulation

Scalable hardware verification with symbolic simulation
Paper図書
Valeria BertaccoSpringerc2006
Other Libraries in Japan

Reached to the end of result.