Yael Abarbanel

According to our database, Yael Abarbanel authored at least 3 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.

Yael Abarbanel, Eli Singerman, Moshe Y. Vardi

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2011

Transaction based pre-to-post silicon validation.

Eli Singerman, Yael Abarbanel, Sean Baartmans

Proceedings of the 48th Design Automation Conference, 2011

2000

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 12th International Conference, 2000