journal of systems architecture (13)
complete symbolic simulation of systemc models (7)
dac: annual acm/ieee design automation conference (4)
2022 forum on specification & design languages (fdl), specification & design languages (fdl), 2022 forum on (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
international journal on software tools for technology transfer (3)
science china information sciences (3)
2013 50th acm/edac/ieee design automation conference (dac) (2)
2018 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2018 (2)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (2)
2022 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2022 (2)
ieee embedded systems letters (2)
2013 50th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2013 50th acm/edac/ieee (1)
2015 52nd acm/edac/ieee design automation conference (dac) (1)
2015 52nd acm/edac/ieee design automation conference (dac), design automation conference (dac), 2015 52nd acm/edac/ieee (1)
2016 design, automation & test in europe conference & exhibition (date) (1)
2016 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2016 (1)
2016 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2016 ieee/acm international conference on (1)
2017 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2017 ieee/acm international conference on (1)
2019 22nd euromicro conference on digital system design (dsd), digital system design (dsd), 2019 22nd euromicro conference on (1)
2019 24th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2019 24th asia and south pacific (1)
2019 56th acm/ieee design automation conference (dac), design automation conference (dac), 2019 56th acm/ieee (1)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (1)
2019 forum for specification and design languages (fdl), specification and design languages (fdl), 2019 forum for (1)
2020 design, automation & test in europe conference & exhibition (date) (1)
2020 ieee computer society annual symposium on vlsi (isvlsi), vlsi (isvlsi), 2020 ieee computer society annual symposium on, isvlsi (1)
2021 26th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2021 26th asia and south pacific (1)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
2021 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2021 (1)
2021 forum on specification & design languages (fdl), specification & design languages (fdl), 2021 forum on (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 22nd international conference on control, automation and systems (iccas), control, automation and systems (iccas), 2022 22nd international conference on (1)
2022 25th euromicro conference on digital system design (dsd), digital system design (dsd), 2022 25th euromicro conference on, dsd (1)
2022 25th international symposium on design and diagnostics of electronic circuits and systems (ddecs), design and diagnostics of electronic circuits and systems (ddecs), 2022 25th international symposium on (1)
2022 27th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2022 27th asia and south pacific (1)
2022 30th mediterranean conference on control and automation (med), control and automation (med), 2022 30th mediterranean conference on (1)
2022 design, automation & test in europe conference & exhibition (date) (1)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023 (1)
2023 forum on specification & design languages (fdl), specification & design languages (fdl), 2023 forum on (1)
automated technology for verification & analysis 13th international symposium, atva 2015 shanghai, china, october 12-15, 2015, proceedings (1)
chips (1)
computer aided verification. part ii (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part ii (1)
design, automation & test in europe conference & exhibition (date), 2017 (1)
journal of low power electronics & applications (1)