rggoebel@watdaisy.UUCP (Randy Goebel) (11/02/83)
Does anyone know of, or have references to a list of projects that deal with rule-based VLSI design, circuit simulation, and verification? Randy Goebel Logic Programming Group University of Waterloo Waterloo, Ontario UUCP: watmath!watdaisy!rggoebel