Travelled to:3 × USA
Collaborated with:E.Singerman M.Y.Vardi S.Baartmans I.Beer L.Gluhovsky S.Keidar Y.Wolfsthal
Talks about:valid (2) transact (1) challeng (1) silicon (1) hardwar (1) generat (1) firmwar (1) checker (1) automat (1) specif (1)
Person: Yael Abarbanel
DBLP: Abarbanel:Yael
Contributed to:
20142011
2000Wrote 3 papers:
- DAC-2014-AbarbanelSV #challenge #validation
- Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
- DAC-2011-SingermanAB #transaction #validation
- Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.
- CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification
- FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.