ieee transactions on computer-aided design of integrated circuits and systems, computer-aided design of integrated circuits and systems, ieee transactions on, ieee trans. comput.-aided des. integr. circuits syst. (19)
formal methods in system design (9)
ieee transactions on computer-aided design of integrated circuits & systems (7)
formal methods in system design: an international journal (4)
1991 ieee international conference on computer-aided design digest of technical papers (3)
1991 ieee international conference on computer-aided design digest of technical papers, computer-aided design, 1991. iccad-91. digest of technical papers., 1991 ieee international conference on (3)
1998 ieee/acm international conference on computer-aided design. digest of technical papers (ieee cat. no.98cb36287), computer-aided design, 1998. iccad 98. digest of technical papers. 1998 ieee/acm international conference on, computer-aided design (3)
ieee/acm international conference on computer-aided design (3)
ieee/acm international conference on computer-aided design, computer-aided design, 1994., ieee/acm international conference on (3)
proceedings of european design & test conference edac-etc-euroasic (3)
proceedings of european design and test conference edac-etc-euroasic, european design and test conference, 1994. edac, the european conference on design automation. etc european test conference. euroasic, the european event in asic design, proceedings. (3)
proceedings of ieee international conference on computer aided design (iccad), computer-aided design, 1995. iccad-95. digest of technical papers., 1995 ieee/acm international conference on, computer-aided design (3)
proceedings of the 34th design automation conference (3)
proceedings of the 34th design automation conference, design automation conference, 1997. proceedings of the 34th (3)
1990 ieee international conference on computer-aided design digest of technical papers (2)
1993 european conference on design automation with the european event in asic design (2)
2006 43rd acm/ieee design automation conference (2)
european design automation conference (2)
iccad-2003. international conference on computer aided design (ieee cat. no.03ch37486) (2)
proceedings 37th design automation conference (2)
proceedings of the 1996 international symposium low power electronics & design (2)
proceedings of the 29th acm/ieee design automation conference (2)
proceedings of the european conference on design automation (2)
1988 ieee international conference on computer-aided design (iccad-89) digest of technical papers (1)
1988 the eighteenth international symposium on fault-tolerant computing digest of papers (1)
1989 ieee international conference on computer-aided design digest of technical papers (1)
1991 proceedings ieee international conference on computer design: vlsi in computers & processors (1)
1991, proceedings international test conference (1)
1992 proceedings 29th acm/ieee design automation conference (1)
1992 proceedings the european conference on design automation (1)
2008 design, automation & test in europe (1)
2009 formal methods in computer-aided design (1)
2011 design, automation & test in europe conference & exhibition (date) (1)
25th acm/ieee, design automation conferenceproceedings 1988 (1)
cheminform (1)
dac: annual acm/ieee design automation conference (1)
design, automation & test in europe conference & exhibition, 1999 proceedings (cat no pr00078) (1)
iee proceedings -- computers & digital techniques (1)
iee proceedings - computers and digital techniques (1)
ieee international conference on computer design: vlsi in computers & processors, 2004. iccd 2004 (1)
ieee international symposium on circuits & systems (1)
ieee/acm international conference on computer aided design, 2004. iccad-2004 (1)
journal of electronic testing (1)
journal of electronic testing: theory and applications (1)
journal of medicinal chemistry (1)
microprocessing and microprogramming (1)
proceedings 1992 ieee international conference on computer design: vlsi in computers & processors (1)
proceedings 1994 ieee international conference on computer design: vlsi in computers & processors (1)
proceedings 1999 ieee international conference on computer design: vlsi in computers & processors (cat no99cb37040) (1)
proceedings 2003. design automation conference (ieee cat. no.03ch37451) (1)