ieee transactions on computer-aided design of integrated circuits & systems (18)
ieee transactions on computer-aided design of integrated circuits and systems (4)
ieee transactions on computers (4)
proceedings of the conference: design, automation & test in europe (4)
acm transactions on design automation of electronic systems (3)
ieee transactions on very large scale integration (vlsi) systems (2)
proceedings of the 2007 ieee acm international conference computer-aided design (2)
2007 asia and south pacific design automation conference, design automation conference, 2007. asp-dac '07. asia and south pacific (1)
2007 ieee/acm international conference on computer-aided design (1)
2008 ieee/acm international conference on computer-aided design, computer-aided design, 2008. iccad 2008. ieee/acm international conference on (1)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (1)
2009 ieee international high level design validation & test workshop (1)
2009 ieee international high level design validation and test workshop, high level design validation and test workshop, 2009. hldvt 2009. ieee international (1)
2011 ieee international high level design validation and test workshop, high level design validation and test workshop (hldvt), 2011 ieee international (1)
2012 25th international conference on vlsi design (1)
2012 25th international conference on vlsi design, vlsi design (vlsid), 2012 25th international conference on (1)
2012 design, automation & test in europe conference & exhibition (date) (1)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (1)
2012 ieee 55th international midwest symposium on circuits & systems (mwscas) (1)
2012 ieee 55th international midwest symposium on circuits and systems (mwscas), circuits and systems (mwscas), 2012 ieee 55th international midwest symposium on (1)
2013 acm/ieee international workshop on system level interconnect prediction (slip) (1)
2013 acm/ieee international workshop on system level interconnect prediction (slip), system level interconnect prediction (slip), 2013 acm/ieee international workshop on (1)
2013 ieee 56th international midwest symposium on circuits & systems (mwscas) (1)
2013 ieee 56th international midwest symposium on circuits and systems (mwscas), circuits and systems (mwscas), 2013 ieee 56th international midwest symposium on (1)
2014 51st acm/edac/ieee design automation conference (dac) (1)
2014 51st acm/edac/ieee design automation conference (dac), design automation conference (dac), 2014 51st acm/edac/ieee (1)
2014 ieee/acm international conference on computer-aided design (iccad) (1)
2014 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2014 ieee/acm international conference on (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)
2015 ieee/acm international conference on computer-aided design (iccad) (1)
2015 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2015 ieee/acm international conference on (1)
2016 29th international conference on vlsi design & 2016 15th international conference on embedded systems (vlsid) (1)
2016 29th international conference on vlsi design and 2016 15th international conference on embedded systems (vlsid), vlsi design and 2016 15th international conference on embedded systems (vlsid), 2016 29th international conference on (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2018 ifip/ieee international conference on very large scale integration (vlsi-soc), very large scale integration (vlsi-soc), 2018 ifip/ieee international conference on (1)
2019 ieee european test symposium (ets), test symposium (ets), 2019 ieee european (1)
2021 22nd international symposium on quality electronic design (isqed), quality electronic design (isqed), 2021 22nd international symposium on (1)
2021 ieee 39th international conference on computer design (iccd), computer design (iccd), 2021 ieee 39th international conference on, iccd (1)
2021 ifip/ieee 29th international conference on very large scale integration (vlsi-soc), very large scale integration (vlsi-soc), 2021 ifip/ieee 29th international conference on (1)
2022 ieee international test conference india (itc india), test conference india (itc india), 2022 ieee international (1)
2023 ieee 24th latin american test symposium (lats), latin american test symposium (lats), 2023 ieee 24th (1)
2023 ieee 53rd international symposium on multiple-valued logic (ismvl), multiple-valued logic (ismvl), 2023 ieee 53rd international symposium on, ismvl (1)
2023 ieee 53rd international symposium on multiple-valued logic---ismvl 2023 (1)
dissertation abstract international (1)
dissertation abstracts international (1)
encyclopedia of electrical & electronics engineering (1)
journal of systems architecture (1)
principles and practice of constraint programming (1)
theory & applications of satisfiability testing (9783540262763) (1)