Satyaki Das

2009
10	EE	Yu Hu, Satyaki Das, Steven Trimberger, Lei He: Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate. IEEE Trans. on CAD of Integrated Circuits and Systems 28(4): 591-595 (2009)
2007
9	EE	Yu Hu, Satyaki Das, Steven Trimberger, Lei He: Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates. ICCAD 2007: 188-193
8	EE	Tim Tuan, A. Rahman, Satyaki Das, Steven Trimberger, Sean Kao: A 90-nm Low-Power FPGA for Battery-Powered Applications. IEEE Trans. on CAD of Integrated Circuits and Systems 26(2): 296-300 (2007)
2006
7	EE	Tim Tuan, Sean Kao, Ahmad Arif Rahman, Satyaki Das, Steven Trimberger: A 90nm low-power FPGA for battery-powered applications. FPGA 2006: 3-11
2004
6	EE	Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
2002
5	EE	Satyaki Das, David L. Dill: Counter-Example Based Predicate Discovery in Predicate Abstraction. FMCAD 2002: 19-32
2001
4		Satyaki Das, David L. Dill: Successive Approximation of Abstract Transition Relations. LICS 2001: 51-60
2000
3	EE	Seungjoon Park, Satyaki Das, David L. Dill: Automatic checking of aggregation abstractions through stateenumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1202-1210 (2000)
1999
2	EE	Satyaki Das, David L. Dill, Seungjoon Park: Experience with Predicate Abstraction. CAV 1999: 160-171
1997
1		Seungjoon Park, Satyaki Das, David L. Dill: Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE 1997: 207-222

Coauthor Index

1	Thomas Ball	[6]
2	Byron Cook	[6]
3	David L. Dill	[1] [2] [3] [4] [5]
4	Lei He	[9] [10]
5	Yu Hu	[9] [10]
6	Sean Kao	[7] [8]
7	Seungjoon Park	[1] [2] [3]
8	A. Rahman	[8]
9	Ahmad Arif Rahman	[7]
10	Sriram K. Rajamani	[6]
11	Steven Trimberger	[7] [8] [9] [10]
12	Tim Tuan	[7] [8]

Colors in the list of coauthors