3 commits

Author	SHA1	Message	Date
David Howland	f2b86e507c	Compile on gcc4	2006-12-17 21:42:34 +00:00
David Howland	9080e8610d	Attempt to fix buik build failure ... fix redefinition of a function however, i dont have a -current machine to test this with	2006-12-04 06:40:00 +00:00
David Howland	c6be5faf64	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.	2006-11-15 17:51:47 +00:00