LABORATORY FOR ELECTRONIC DESIGN AUTOMATION