Guang Yang
|
Office:
545T Cory Hall Mailing Address:
205 Cory Hall #1772, EE Grad |
|
|
|
|
|
About me
|
I am a fifth year PhD student in CAD
group in the Electrical Engineering and Computer Sciences
Department at UC Berkeley.
My advisor is Professor Alberto
Sangiovanni-Vincentelli. Before I came to |
|
Research
|
I am interested in electronic system design methodologies and validation. In particular, I have been conducting research in -
System modeling and functional verification -
Mixed imperative and declarative specification, validation and synthesis -
IP adaptation and integration -
Semi-formal verification Quick
links to some of the papers -
A
Next-Generation Design Framework for Platform-Based Design - Constraints
Assisted Modeling and Validation in Metropolis Framework - Communication
and Co-simulation Infrastructure for Heterogeneous System Integration - Separation of Concerns: Overhead
in Modeling and Efficient Simulation Techniques - Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model |
|
Classes
|
I took all the classes offered by my major field, CAD for VLSI (now called Design of Electronic Systems) in the Electrical Engineering and Computer Sciences department at UC Berkeley. My minors are Programming Systems and Mathematics. |
|
Photos
|
||
Links
|
News | SF Area | Libraries | Dictionaries | Classes | Programming | all links... |
|
|
|
||
|
|
||
|
You are the |
||
