Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Eli Arbel"'
Autor:
Roderick Bloem, Eli Arbel
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected
Autor:
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Kerkoff, Hans G., Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Publikováno v:
TU Graz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::affc60f14e638fb6890cc11efda7ef50
https://elib.dlr.de/105923/
https://elib.dlr.de/105923/
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319490519
Haifa Verification Conference
Haifa Verification Conference
Error injection is one of the most commonly used techniques for estimating the reliability of a given hardware design. While error injection in dynamic simulation is widely used in the industry, other methods exist as well, e.g. hardware error inject
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6d00a37ec326e9dfaa1771f84e271be
https://doi.org/10.1007/978-3-319-49052-6_3
https://doi.org/10.1007/978-3-319-49052-6_3
Autor:
Eli Arbel, Roderick Bloem
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319490519
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50612a5155097ffb01d1d2023d6721de
https://doi.org/10.1007/978-3-319-49052-6
https://doi.org/10.1007/978-3-319-49052-6
Publikováno v:
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18540df0356e705c2057b6e9d7767703
https://doi.org/10.1109/iccad.2014.7001322
https://doi.org/10.1109/iccad.2014.7001322
Publikováno v:
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::150c20a7034a8aaf6952614e43c6b2db
https://doi.org/10.7873/date.2014.270
https://doi.org/10.7873/date.2014.270
Publikováno v:
FMCAD
Clock gating is a power reduction technique for digital circuits that works by eliminating unnecessary switching of parts of the clock network, a power-hungry component in hardware designs. An effective approach to clock gating synthesis is based on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bb4819f5902342f57e69fd391464c89
https://doi.org/10.1109/fmcad.2009.5351118
https://doi.org/10.1109/fmcad.2009.5351118
Publikováno v:
DAC
In this paper we consider the problem of exploiting infeasible clock gating functions. Analysis of industrial designs reveals a large margin of potential for power saving based on clock gating functions that initially appear to be useless due to timi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd3b54b166e66d2cb741b50342740703
https://doi.org/10.1145/1629911.1629957
https://doi.org/10.1145/1629911.1629957
Autor:
Eli Arbel, John W. Cahn
Publikováno v:
Surface Science. 66:14-24
Using the vector method of Cahn and Hoffman, equations are derived that relate the anisotropic surface free energy to the shapes of grain-boundary grooves at the solid-vapor, solidsolvent, solid-solid, or solid-melt interface in either a gravitationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ec1d31ef0dcbaba52dc4b06216f75d0
https://doi.org/10.1016/0039-6028(77)90396-x
https://doi.org/10.1016/0039-6028(77)90396-x
Autor:
Eli Arbel, John W. Cahn
Publikováno v:
Surface Science. 51:305-309
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07879ac5a212e74b86f725fcce9d45fa
https://doi.org/10.1016/0039-6028(75)90254-x
https://doi.org/10.1016/0039-6028(75)90254-x