Patricia Lee
Visiting Research Scholar
Department of Computer Science
Systems Concentration
Center for Embedded Computer Systems
Department of Computer Science University of California Irinve Donald Bren Hall, Room 3088 Irvine, CA 92697, USA leep @


My research is in the area of Embedded Systems and Hardware Behavioral Design Validation. I am currently investigating techniques comparing simulation-based validation and formal verification of behavioral designs, automatic testbench generation in simulation, and automatic assertion generation for response checking in simulation. Please follow the links below to learn more about the various projects with which I am involved: