Colloquia: Fei Xie/Portland State University Component-Based Hardware/Software Co-Verification in ACES 2.402

Contact Name: 
Jenna Whitney
Sep 29, 2006 11:00am - 12:00pm

There is a signup schedule for this event. Sp

eaker Name/Affiliation: Fei Xie Computer Sciences - Portland State Univers

Date/Time: September 29 2006 at 11:00 a.m.
Coffee: 10:45 a.m.
Location: ACES 2.402
Host: James C. Browne
Title: Component-Based Ha

rdware/Software Co-Verification
Talk Abstract:
Construction of highly
trustworthy embedded systems requires
extensive verification. Power an

d performance constraints
of embedded systems require that hardware and
software modules
closely interact and trade-offs between hardware and

be effectively exploited. This demands hardware/software

HW/SW) co-design and thus HW/SW co-verification.

Speaker Bio:

ei Xie is an assistant professor in the Department of Computer
Science a

t Portland State University. He received his Ph.D.
in computer science

from the University of Texas at Austin in
2004. His research interests

are primarily in the areas of software
engineering formal methods and
embedded systems. He is particularly
interested in development of form

al method based techniques and tools.