| SNo
|
PROJECTS
|
SPONSORED
BY |
| 1 |
Virtual Silicon |
National Semiconductor
Corporation (USA) |
| 2
|
Solving
Constrained Optimization Problems using Search and Deduction |
Volkswagen
Stiftung, Germany. |
| 3
|
Advanced Techniques
for Logic Evaluation. |
Synopsys
(India) Pvt Ltd |
| 4
|
Artificial
Intelligence and Knowledge Based Systems. |
MHRD,
Govt. Of India |
| 5
|
A Unified
Artificial Intelligence Approach to Cutting, Packing and Scheduling
Problems. |
Indian
National Science Academy |
| 6
|
Expert System
for Monitoring and Diagnosis of Hydraulic Systems. |
Planning
Commission under TDM-CNIA, Govt. of India |
| 7
|
Study of Applicability
of Decision Diagrams for Logic Evaluation. |
Synopsys
(India) Pvt Ltd |
| 8
|
Study of Static
Scheduling Techniques for Event-Driven Simulation. |
Synopsys
(India) Pvt Ltd |
| 9
|
Synthesis
of Verilog RTL Descriptions |
Delsoft
(India) Pvt Ltd. |
| 10
|
RTL Equivalence
Checker. |
Delsoft
(India) Pvt Ltd. |
| 11
|
Computerization
of Banking Operations for Foreign Department of SBI |
State
Bank of India |
| 12
|
IMIS : Development
of MIS using Internet Tools. |
Techna
Pvt. Ltd. |
| 13
|
CSTAR : Automated
Trading for the Calcutta Stock Exchange. |
The
Calcutta Stock Exchange Association. |
