THE CASEY

Fast synthesis of logical circuit design with predictive timing