BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Abarbanel:Yael

Contributed to:

DAC 20142014
DAC 20112011
CAV 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.