This on-line material is being provided in the interest of rapid
dissemination of information related to the tutorial presented at ASP-DAC2001.
Some or all of the material here may be covered by copyright owned by the
respective authors. You may browse the material at your convenience as
you would in a public library. Permission is also granted to make a hard
copy for personal use without fee provided that the copied material clearly
indicates the author and source of the material and any original copyright
notations are unaltered on every portion of the referenced material. Retrieval,
copy, or distribution of any material herein for profit or any commerical
advantage may violate the copyright protection law and requires prior written
permission of the copyright owners.