Apparatus and method for analyzing circuit specification...
Apparatus and method for integrated circuit design with...
Apparatus and method for mixed single-rail and dual-rail...
Apparatus and method for optimizing delay element in...
Apparatus and method for performing a sequence of...
Arrangement handling commands as control system behaviors...
Assessing resources required to complete a VLSI design
Automated multiple voltage/power state design process and...
Automated use of uninterpreted functions in sequential...
Automatically creating manufacturing test rules pertaining...
Behavioral synthesis system, behavioral synthesis method,...
Black box timing modeling method and computer system for...
Circuit design data conversion apparatus, circuit design...
Circuit design device, circuit design program, and circuit...
Circuit type pragma for computer aided design tools
Clock model for formal verification of a digital circuit...
Clock tree adjustable buffer
Compact model methodology for PC landing pad lithographic...
Computer program product for design verification using...
Computer-aided design system to automate scan synthesis at...