ieee transactions on computer-aided design of integrated circuits & systems (9)
international journal on software tools for technology transfer (6)
acm transactions on design automation of electronic systems (4)
ieee transactions on computer-aided design of integrated circuits and systems (3)
journal on satisfiability, boolean modeling & computation (3)
journal on satisfiability, boolean modeling and computation (3)
proceedings of the conference: design, automation & test in europe (3)
biomimetics (2313-7673) (2)
formal methods in system design (2)
international symposium on systems synthesis (2)
journal of electronic testing (2)
proceedings of spie (2)
sensors (14248220) (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)
2009 ieee international high level design validation and test workshop, high level design validation and test workshop, 2009. hldvt 2009. ieee international (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal methods in system design: an international journal (1)
journal of electronic testing: theory and applications (1)
journal of electronic testing-theory and applications (1)
proceedings of the 2006 ieee acm international conference computer-aided design (1)