if you are unable read/open these files. . Co-presented with P. Bjesse and W. Kunz. Tutorial, to be presented at the International Conference on Computer-Aided Design (ICCAD), November 2001. (Access to this site requires a valid user name and password.) . Tutorial, presented at the International Conference on Principles and Practice of Constraint Programming (CP), September 2000. (This tutorial is in Powerpoint presentation format.) . Co-presented with K. A. Sakallah. Tutorial, presented at the Conference on Computer-Aided Verification (CAV), July 2000. (This tutorial is in Powerpoint presentation format.) . Co-presented with K. A. Sakallah. Embedded Tutorial, presented at Design Automation Conference (DAC), June 2000. (This tutorial is in Powerpoint presentation format.)