Welcome to the VLSI CAD LAB at the Dept. of Electrical and Computer Engineering at the University of Massachusetts Amherst. This group is led by Prof. Maciej Ciesielski. Electronic Design Automation for digital systems. Formal methods in Computer-Aided Design. Behavioral and RTL synthesis. Formal verification and design validation.
Professor Ciesielski is Associate Department Head (since Sept. 2006), ECE Graduate Seminar Committee, ECE Personnel Committee, ECE Department Accreditation ABET Task Force, Member of Technical Program Committees at several international conferences and workshops (VLSI, ICCAD, IWLS, ECECS, CFV), Session and Topic Chair at DAC 2006, CFV 2008.