next up previous
Next: Introduction

VIS : A System for Verification and Synthesis

Robert K. Brayton,1 Gary D. Hachtel, 2 Alberto Sangiovanni-Vincentelli,1 Fabio Somenzi, 2 Adnan Aziz,1 Szu-Tsung Cheng,1
Stephen Edwards,1 Sunil Khatri,1 Yuji Kukimoto, 1 Abelardo Pardo,2 Shaz Qadeer,1 Rajeev K. Ranjan, 1 Shaker Sarwary,3
Thomas R. Shiple,1 Gitanjali Swamy,1 Tiziano Villa, 1

1Department of EECS, University of California, Berkeley, CA 94720
2Department of ECE, University of Colorado, Boulder, CO 80309
3Lattice Semiconductor, Milpitas, CA 95035





Tom Shiple
Thu Feb 8 16:55:08 PST 1996