5 lines
266 B
Text
5 lines
266 B
Text
|
The MVSIS group at Berkeley studies logic synthesis and verification for VLSI
|
||
|
design. The main focus is on new optimization algorithms that improve the
|
||
|
quality of circuits generated by automatic synthesis tools and, at the same
|
||
|
time, are scalable for practical use.
|