ai magazine (4)
dac: annual acm/ieee design automation conference (3)
ieee transactions on parallel & distributed systems (3)
2011 48th acm/edac/ieee design automation conference (dac) (2)
2011 48th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2011 48th acm/edac/ieee (2)
ibm systems journal (2)
2010 ieee international high level design validation and test workshop (hldvt), high level design validation and test workshop (hldvt), 2010 ieee international (1)
2011 design, automation & test in europe, design, automation & test in europe conference & exhibition (date), 2011 (1)
2015 design, automation & test in europe conference & exhibition (date) (1)
2015 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2015 (1)
2019 acm/ieee 1st workshop on machine learning for cad (mlcad), machine learning for cad (mlcad), 2019 acm/ieee 1st workshop on (1)
computer-aided verification '90 (new brunswick, nj, 1990) (1)
hardware & software: verification & testing (9783642396106) (1)
hardware & software: verification & testing 11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings (1)
proceedings of the 32nd annual acm ieee design automation conference (1)
proceedings of the 32nd annual acm/ieee design automation conference (1)