Acknowledgements

We would like to thank Adrian Isles, Sriram Rajamani, and Serdar Tasiran for their assistance in developing VIS.

The development of VIS was supported in part by the SRC under contract 96-DC-324 and by generous financial contributions from BNR, Cadence, California Micro, Fujitsu, and Motorola.