international journal on software tools for technology transfer (10)
ieee transactions on computer-aided design of integrated circuits & systems (9)
dac: annual acm/ieee design automation conference (6)
sensors (14248220) (6)
formal methods in system design (5)
journal on satisfiability, boolean modeling and computation (5)
acm transactions on design automation of electronic systems (4)
ieee transactions on vehicular technology (4)
proceedings of the 36th annual acm/ieee design automation conference (4)
proceedings of the conference: design, automation & test in europe (4)
computation (3)
ieee transactions on computer-aided design of integrated circuits and systems (3)
journal on satisfiability, boolean modeling & computation (3)
energies (19961073) (2)
european design automation conference (2)
formal methods in system design: an international journal (2)
international symposium on systems synthesis (2)
journal of systems architecture (2)
proceedings of the 1996 ieee acm international conference computer-aided design (2)
sensors (2)
15th international symposium on system synthesis, 2002 (1)
2006 ieee/acm international conference on computer aided design (1)
2007 design, automation & test in europe conference & exhibition (1)
2007 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2007. date '07 (1)
2009 design, automation & test in europe conference & exhibition (1)
2022 ieee international test conference (itc) (1)
advances in electrical and computer engineering (1)
combinatorial pattern matching (1)
design, automation & test in europe conference & exhibition (date), 2014 (1)
electronic notes in theoretical computer science (1)
electronics (2079-9292) (1)
energies (1)
entcs: electronic notes in theoretical computer science (1)
ieee access (1)
ieee systems journal (1)
proceedings design, automation and test in europe. conference and exhibition 2001 (1)
proceedings of the 1996 ieee/acm international conference: computer-aided design (1)
proceedings of the 1997 international symposium low power electronics & design (1)
proceedings of the 1997 international symposium: low power electronics & design (1)
proceedings of the 2006 ieee acm international conference computer-aided design (1)
proceedings of the 34th annual design automation conference (1)
proceedings of the 37th annual design automation conference (1)
proceedings of the 39th annual design automation conference (1)
proceedings of the conference: design, automation & test in europe (9781581131215) (1)
proceedings of the conference: european design automation (9780897916851) (1)
software: practice & experience (1)
software: practice and experience (1)
software-practice & experience (1)