Login / Signup
Yael Abarbanel
Publication Activity (10 Years)
Years Active: 2000-2014
Publications (10 Years): 0
Top Topics
Real World
Error Detection
Technical Challenges
Dedicated Hardware
Top Venues
DAC
</>
Publications
</>
Yael Abarbanel
,
Eli Singerman
,
Moshe Y. Vardi
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.
DAC
(2014)
Eli Singerman
,
Yael Abarbanel
,
Sean Baartmans
Transaction based pre-to-post silicon validation.
DAC
(2011)
Yael Abarbanel
,
Ilan Beer
,
Leonid Gluhovsky
,
Sharon Keidar
,
Yaron Wolfsthal
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
CAV
(2000)