Andreas G. Veneris

2009
48	EE	Yibin Chen, Sean Safarpour, Andreas G. Veneris, João P. Marques-Silva: Spatial and temporal design debug using partial MaxSAT. ACM Great Lakes Symposium on VLSI 2009: 345-350
2008
47	EE	Brian Keng, Hratch Mangassarian, Andreas G. Veneris: A succinct memory model for automated design debugging. ICCAD 2008: 137-142
46	EE	Elham Safi, Andreas Moshovos, Andreas G. Veneris: A physical level study and optimization of CAM-based checkpointed register alias table. ISLPED 2008: 233-236
45	EE	Elham Safi, Andreas Moshovos, Andreas G. Veneris: L-CBF: A Low-Power, Fast Counting Bloom Filter Architecture. IEEE Trans. VLSI Syst. 16(6): 628-638 (2008)
2007
44	EE	Yu-Shen Yang, Subarnarekha Sinha, Andreas G. Veneris, Robert K. Brayton: Automating Logic Rectification by Approximate SPFDs. ASP-DAC 2007: 402-407
43	EE	Sean Safarpour, Andreas G. Veneris, Hratch Mangassarian: Trace Compaction using SAT-based Reachability Analysis. ASP-DAC 2007: 932-937
42	EE	Sean Safarpour, Andreas G. Veneris: Abstraction and refinement techniques in automated design debugging. DATE 2007: 1182-1187
41	EE	Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir: Maximum circuit activity estimation using pseudo-boolean satisfiability. DATE 2007: 1538-1543
40	EE	Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah: Improved Design Debugging Using Maximum Satisfiability. FMCAD 2007: 13-19
39	EE	Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith: A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. ICCAD 2007: 240-245
38	EE	Elham Safi, Patrick Akl, Andreas Moshovos, Andreas G. Veneris, Aggeliki Arapoyanni: On the latency, energy and area of checkpointed, superscalar register alias tables. ISLPED 2007: 379-382
2006
37	EE	Sean Safarpour, Andreas G. Veneris, Gregg Baeckler, Richard Yuan: Efficient SAT-based Boolean matching for FPGA technology mapping. DAC 2006: 466-471
36	EE	Görschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler: On the relation between simulation-based and SAT-based diagnosis. DATE 2006: 1139-1144
35	EE	Sean Safarpour, Andreas G. Veneris, Rolf Drechsler: Integrating observability don't cares in all-solution SAT solvers. ISCAS 2006
34	EE	Elham Safi, Andreas Moshovos, Andreas G. Veneris: L-CBF: a low-power, fast counting bloom filter architecture. ISLPED 2006: 250-255
33	EE	Sean Safarpour, Andreas G. Veneris: Abstraction and Refinement Techniques in Automated Design Debugging. MTV 2006: 88-93
32	EE	Andreas G. Veneris, Yiorgos Makris: Session Abstract. VTS 2006: 290-291
31	EE	Yu-Shen Yang, Andreas G. Veneris, Paul J. Thadikaran, Srikanth Venkataraman: Extraction error modeling and automated model debugging in high-performance custom designs. IEEE Trans. VLSI Syst. 14(7): 763-776 (2006)
2005
30	EE	Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Veneris, Sean Safarpour: Diagnosing multiple transition faults in the absence of timing information. ACM Great Lakes Symposium on VLSI 2005: 193-196
29	EE	Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler: Utilizing don't care states in SAT-based bounded sequential problems. ACM Great Lakes Symposium on VLSI 2005: 264-269
28	EE	Yu-Shen Yang, Andreas G. Veneris, Paul J. Thadikaran, Srikanth Venkataraman: Extraction Error Modeling and Automated Model Debugging in High-Performance Low Power Custom Designs. DATE 2005: 996-1001
27		Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler: Post-verification debugging of hierarchical designs. ICCAD 2005: 871-876
26	EE	Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler: Post-Verification Debugging of Hierarchical Designs. MTV 2005: 42-47
25	EE	Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas: Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1606-1621 (2005)
24	EE	Jiang Brandon Liu, Andreas G. Veneris: Incremental fault diagnosis. IEEE Trans. on CAD of Integrated Circuits and Systems 24(2): 240-251 (2005)
23	EE	Andreas G. Veneris, Jiang Brandon Liu: Incremental Design Debugging in a Logic Synthesis Environment. J. Electronic Testing 21(5): 485-494 (2005)
22	EE	Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Sep Seyedi: Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG. J. Electronic Testing 21(5): 495-502 (2005)
2004
21	EE	Alexander Smith, Andreas G. Veneris, Anastasios Viglas: Design diagnosis using Boolean satisfiability. ASP-DAC 2004: 218-223
20	EE	Sean Safarpour, Andreas G. Veneris, Rolf Drechsler, Joanne Lee: Managing Don't Cares in Boolean Satisfiability. DATE 2004: 260-265
19	EE	Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir: Debugging sequential circuits using Boolean satisfiability. ICCAD 2004: 204-209
18		Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Mandana Amiri: Fault equivalence and diagnostic test generation using ATPG. ISCAS (5) 2004: 221-224
17	EE	Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith: Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49
16	EE	Andreas G. Veneris: Logic Rewiring for Delay and Power Minimization. J. Inf. Sci. Eng. 20(6): 1231-1238 (2004)
2003
15	EE	Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikaran, Andreas G. Veneris: Extraction Error Diagnosis and Correction in High-Performance Designs. ITC 2003: 423-430
14	EE	Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikaran, Andreas G. Veneris: Extraction Error Analysis, Diagnosis and Correction in Custom-Made High-Performance Designs. MTV 2003: 54-59
13	EE	Andreas G. Veneris: Fault Diagnosis and Logic Debugging Using Boolean Satisfiability. MTV 2003: 60-
2002
12	EE	Andreas G. Veneris, Jiang Brandon Liu, Mandana Amiri, Magdy S. Abadir: Incremental Diagnosis and Correction of Multiple Faults and Errors. DATE 2002: 716-721
11	EE	Mandana Amiri, Andreas G. Veneris, Ivor Ting: Design rewiring for power minimization [logic design]. ISCAS (4) 2002: 305-308
10	EE	Jiang Brandon Liu, Andreas G. Veneris, Hiroshi Takahashi: Incremental Diagnosis of Multiple Open-Interconnects. ITC 2002: 1085-1092
9	EE	Andreas G. Veneris, Magdy S. Abadir, Mandana Amiri: Design Rewiring Using ATPG. ITC 2002: 223-232
8	EE	Andreas G. Veneris, Magdy S. Abadir: Design rewiring using ATPG. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1469-1479 (2002)
2001
7	EE	Andreas G. Veneris, Magdy S. Abadir, Ivor Ting: Design rewiring based on diagnosis techniques. ASP-DAC 2001: 479-484
1999
6	EE	Andreas G. Veneris, Ibrahim N. Hajj: Correcting multiple design errors in digital VLSI circuits. ISCAS (1) 1999: 31-34
5	EE	Andreas G. Veneris, Ibrahim N. Hajj, Srikanth Venkataraman, W. Kent Fuchs: Multiple Design Error Diagnosis and Correction in Digital VLSI Circuits. VTS 1999: 58-63
4	EE	Andreas G. Veneris, Ibrahim N. Hajj: Design error diagnosis and correction via test vector simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 18(12): 1803-1816 (1999)
1997
3	EE	Andreas G. Veneris, Ibrahim N. Hajj: A Fast Algorithm for Locating and Correcting Simple Design Errors in VLSI Digital Circuits. Great Lakes Symposium on VLSI 1997: 45-50
1995
2		Lefteris M. Kirousis, Andreas G. Veneris: Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations Acta Inf. 32(2): 155-170 (1995)
1993
1		Lefteris M. Kirousis, Andreas G. Veneris: Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations. WDAG 1993: 54-68

Coauthor Index

1	Magdy S. Abadir	[7] [8] [9] [12] [17] [18] [19] [22] [26] [27] [30] [41]
2	Patrick Akl	[38]
3	Moayad Fahim Ali	[17] [19] [25] [26] [27]
4	Mandana Amiri	[9] [11] [12] [18]
5	Angela Arapoyanni (Aggeliki Arapoyanni)	[38]
6	Gregg Baeckler	[37]
7	Marco Benedetti	[39]
8	Robert K. Brayton	[44]
9	Robert Chang	[18] [22]
10	Yibin Chen	[48]
11	Rolf Drechsler	[17] [19] [20] [26] [27] [29] [35] [36]
12	Görschwin Fey	[29] [36]
13	W. Kent Fuchs	[5]
14	Ibrahim N. Hajj	[3] [4] [5] [6]
15	Brian Keng	[47]
16	Lefteris M. Kirousis	[1] [2]
17	Joanne Lee	[20]
18	Mark H. Liffiton	[40]
19	Jiang Brandon Liu	[10] [12] [14] [15] [23] [24] [30]
20	Yiorgos Makris	[32]
21	Hratch Mangassarian	[39] [40] [41] [43] [47]
22	João P. Marques-Silva	[48]
23	Andreas Moshovos	[34] [38] [45] [46]
24	Farid N. Najm	[41]
25	Sean Safarpour	[17] [19] [20] [26] [27] [29] [30] [33] [35] [36] [37] [39] [40] [41] [42] [43] [48]
26	Elham Safi	[34] [38] [45] [46]
27	Karem A. Sakallah	[40]
28	Freescale Semiconductor	[17]
29	Sep Seyedi	[22]
30	Subarnarekha Sinha	[44]
31	Alexander Smith	[17] [19] [21] [25]
32	Duncan Smith	[39]
33	Hiroshi Takahashi	[10]
34	Paul J. Thadikaran	[14] [15] [28] [31]
35	Ivor Ting	[7] [11]
36	Srikanth Venkataraman	[5] [28] [31]
37	Anastasios Viglas	[21] [25]
38	Yu-Shen Yang	[14] [15] [28] [31] [44]
39	Richard Yuan	[37]

Colors in the list of coauthors