$Id: README,v 1.3 1998/12/09 18:01:27 fabio Exp $ This directory contains a simplified model of a branch prediction buffer. The VIS script runs reachability analysis. Author: Srilatha Manne