RECENT GRANTS AND DONATIONS IN ``LOGIC AND OPTIMIZATION'' AREA.

1. Marek Perkowski, Oregon Education, $ 20,000 Test and Design for Test class development.
2. Marek Perkowski, Oregon Education, $ 20,000 Formal Verification class development.
3. Marek Perkowski, Xilinx, $ 200,000 software donation.
4. Marek Perkowski, ORCAD, $ 120,000 software donation.
5. Alan Mishchenko, INTEL, $ 30,000, year 2000.
6. Alan Mishchenko, INTEL, $ 30,000, year 2001.
7. Xiaoyu Song,