ieee transactions on computer-aided design of integrated circuits & systems (45)
unknown component problem (21)
dac: annual acm/ieee design automation conference (12)
ieee transactions on computer-aided design of integrated circuits and systems (11)
proceedings of the conference: design, automation & test in europe (10)
ieee transactions on computers (8)
cybernetics and systems analysis (4)
information processing letters (4)
natsionalʹnaya akademiya nauk ukrainy. institut kibernetiki im. v. m. glushkova. kibernetika i sistemnyi\ analiz (4)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013 (3)
2018 55th acm/esda/ieee design automation conference (dac), design automation conference (dac), 2018 55th acm/esda/ieee (3)
acm transactions on reconfigurable technology and systems (trets) (3)
2007 ieee/acm international conference on computer-aided design, computer-aided design, 2007. iccad 2007. ieee/acm international conference on (2)
2008 45th acm/ieee design automation conference, design automation conference, 2008. dac 2008. 45th acm/ieee (2)
2008 formal methods in computer-aided design, formal methods in computer-aided design, 2008. fmcad '08 (2)
2008 ieee/acm international conference on computer-aided design, computer-aided design, 2008. iccad 2008. ieee/acm international conference on (2)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (2)
2018 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2018 (2)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (2)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (2)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (2)
acm transactions on design automation of electronic systems (2)
formal methods in computer aided design (fmcad'07), formal methods in computer aided design, 2007. fmcad '07 (2)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (2)
institute of electrical and electronics engineers. transactions on computers (2)
proceedings of the ieee (2)
theory and applications of satisfiability testing---sat 2016 (2)
vlsi design (2)
2007 44th acm/ieee design automation conference, design automation conference, 2007. dac '07. 44th acm/ieee (1)
2010 design, automation & test in europe conference & exhibition (date 2010), design, automation & test in europe conference & exhibition (date), 2010 (1)
2010 international conference on field programmable logic and applications, field programmable logic and applications (fpl), 2010 international conference on (1)
2011 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2011 (1)
2011 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2011 ieee/acm international conference on (1)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (1)
2012 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2012 ieee/acm international conference on (1)
2013 international conference on field-programmable technology (fpt), field-programmable technology (fpt), 2013 international conference on (1)
2014 19th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2014 19th asia and south pacific (1)
2014 22nd international conference on very large scale integration (vlsi-soc), very large scale integration (vlsi-soc), 2014 22nd international conference on (1)
2014 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2014 ieee/acm international conference on (1)
2014 international test conference, test conference (itc), 2014 ieee international (1)
2015 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2015 ieee/acm international conference on (1)
2015 international conference on field programmable technology (fpt), field programmable technology (fpt), 2015 international conference on (1)
2016 26th international conference on field programmable logic and applications (fpl), field programmable logic and applications (fpl), 2016 26th international conference on (1)
2016 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2016 ieee/acm international conference on (1)
2017 22nd asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2017 22nd asia and south pacific (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2017 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2017 ieee/acm international conference on (1)
2018 23rd asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2018 23rd asia and south pacific (1)
2018 28th international conference on field programmable logic and applications (fpl), field programmable logic and applications (fpl), 2018 28th international conference on, fpl (1)
2019 32nd symposium on integrated circuits and systems design (sbcci), integrated circuits and systems design (sbcci), 2019 32nd symposium on (1)