949-824-9127

Hardware-Accelerated Formal Verification

by Prof. Masahiro FujitaVLSI Design and Education Center University of Tokyo, Tokyo, Japan McDonnell Douglas Auditorium, University of California, Irvine Distinguished Lecture, April 29, 2008 Abstract

NISC: No-Instruction-Set-Computer

Release Date: May 2008 (NISC Toolset 2008.05)NISC Demo: https://www.cecs.uci.edu/~nisc/  No-Instruction-Set-Computer (NISC) Technology is the next generation of tools for Design Synthesis. With NISC Technology, you can simultaneously gain higher productivity and better quality of results. Other techniques only offer one of these benefits. Two popular approaches for designing digital systems: Low-level design at Register Transfer Level (RTL). […]

CECS DAC Open House

The 45th Design Automation Conference (DAC) is being held in Anaheim, CA on June 8-13, 2008. CECS cordially invites DAC attendees to an Open House on Friday afternoon, June 13, 2008 from 2:00PM to 4:00PM in our CECS office on the 2rd floor of the Anteater Instruction & Research Building (AIRB). We are planning a […]

My Work and My Life

by Prof. Leonard KleinrockDepartment of Computer Science University of California, Los Angeles McDonnell Douglas Auditorium Distinguished Lecture, November 19, 2008 Abstract