|
  
Next: Introduction
VIS : A System for Verification and Synthesis
Robert K. Brayton
Gary D. Hachtel
Alberto Sangiovanni-VincentelliFabio SomenziAdnan AzizSzu-Tsung ChengStephen EdwardsSunil KhatriYuji KukimotoAbelardo PardoShaz QadeerRajeev K. RanjanShaker Sarwary
Thomas R. ShipleGitanjali SwamyTiziano Villa
Tom Shiple
Thu Feb 8 16:55:08 PST 1996
|
