Abstract: An acknowledgement method in a wireless communication system. Initially, a reverse supplemental channel (R-SCH) frame is received at a base station. The base station then transmits an acknowledgement (ACK) signal if quality of the received R-SCH frame is indicated as being good. A negative acknowledgement (NAK) signal is transmitted only if the received data frame is indicated as being bad but has enough energy such that, if combined with energy from retransmission of the data frame, it would be sufficient to permit correct decoding of the data frame. If the best base station is known, the acknowledgement method may reverse the transmission of the acknowledgement signals for the best base station so that only NAK signal is sent. A positive acknowledgement is assumed in the absence of an acknowledgement. This is done to minimize the transmit power requirements.

Abstract: Data is arranged to one block obtained after a CIRC process so that a predetermined data pattern is recorded into a predetermined portion on a disc. By tracing back an encoding step of a Cross-Interleave Reed-Solomon Code (CIRC), a layout of recording data of one block before the CIRC process for allowing the predetermined data pattern to be recorded into the predetermined portion is obtained. An error correcting process of a CD-ROM mode 1 is executed. If a position of a parity coincides with data for forming the predetermined data pattern, a value of user data of an encoding sequence to form the parity is changed. After error correction encoding of a CD-ROM is executed, encoding of the CIRC is executed to the recording data of one block.

Abstract: An interleaver address generator is provided with pruning avoidance technology. It anticipates the points in time when incorrect addresses are computed by an IAG, and bypasses these events. It produces a stream of valid, contiguous addresses for all specified code block sizes. A single address computation engine firstly ‘trains’ itself about violating generated addresses (for a related block size) during the initial H1 half-iteration of decoder operation, and then produces a continuous, correct stream of addresses as required by the turbo decoder. Thus regions of pruned addresses are determined, and then training is performed only in these regions. Thus, computation and population of a pruned event table is determined in less than 1/10 the time required to do a conventional style full training. The resulting pruned event table is compressed down to 256 bits.

Abstract: A method for controlling application of an erasure mode of an error correction code (ECC) algorithm in a memory subsystem includes detecting errors in cache lines retrieved from the memory subsystem using the ECC algorithm. The method also analyzes the errors to detect a repeated bit pattern of data corruption within the cache lines, correlates the detected repeated bit pattern of data corruption to one of a plurality of domains of the memory subsystem, and applies the ECC algorithm to erase bits associated with the detected repeated bit pattern from cache lines retrieved from the correlated domain of the memory subsystem.

Abstract: A method for correcting double failures in a storage array has the following steps. A storage array is organized as a plurality of concatenated sub-arrays, each sub-array including a set of data storage devices and a row parity storage device. Row parity is computed for each row of each sub-array. The row parity of a particular sub-array is stored on a row parity storage device of the particular sub-array. A diagonal parity is computed across the concatenated sub-arrays. A double storage device failure is corrected using both the sub-array row parity and the diagonal parity.

Abstract: The present invention presents a non-volatile memory and method for its operation that allows instant and accurate detection of erased sectors when the sectors contain a low number of zero bits, due to malfunctioning cells or other problems, and the sector can still be used as the number of corrupted bits is under the ECC correction limit. This method allows the storage system to become tolerant to erased sectors corruption, as such sectors can be used for further data storage if the system can correct this error later in the written data by ECC correction means.

Abstract: Disclosed is a method of sub-packet adaptation based on data rate. Specifically, the size of a sub-packet is adapted to a data rate at which the sub-packet is to be transmitted. In one embodiment, the sub-packet is size adapted to the data rate in a format that would allow such size adapted sub-packet to be soft combined with another sub-packet of a same or different size. The size adapted sub-packet may be transmitted prior to or after the other sub-packet.

Abstract: This invention relates to a flexible rate matching method, comprising the steps of: a) receiving a continuous stream of data items at a prespecified rate of a clock signal in a configurable data shift register; b) storing, for each data item stored in the data shirt register, an associated indication of validity in a configurable validity shift register and shifting the indications of validity at said prespecified rate; c) modifying the contents of the data shift register and the validity shift register through puncture/repetition operations so as to achieve a rate matching, and d) outputting valid data items at said prespecified rate using said indications of validity stored in the validity shift register. The invention also relates to a corresponding flexible rate matching apparatus as well as to a computer program product and a processor program product.

Abstract: A method for recoding an input sequence of words, including assigning a respective bit-grade to at least one of the bits in a first word in the input sequence, deriving candidate words from the first word in response to the respective bit-grade, and inserting one of the candidate words into each of a plurality of candidate sequences, so that each of the candidate sequences contains one of the candidate words. The method further includes adding subsequent words to the candidate sequences, the subsequent words consisting of a further candidate word derived from a further word in the input sequence, computing respective sequence parameters for the candidate sequences, based on a relation between the candidate words and the subsequent words in the candidate sequences, selecting one of the candidate sequences in response to the sequence parameters, and outputting one of the candidate words contained in the selected candidate sequence.

Abstract: A method and apparatus for performing add-compare-select processing using carry-save arithmetic. Data compressors that operate based upon carry-save principles are utilized to render the correct result without requiring intermediate results to be resolved. Intermediate results are truncated to ensure that the dynamic range of the add-compare-select unit is not exceeded, whilst ensuring that the resolution of the intermediate results is not adversely affected. The computation of two competing paths is delayed and only the difference is computed directly, resulting in a reduction of the propagation path through the add-compare-select unit.

Abstract: In this parity data generating circuit, a Galois field multiplying calculation is realized by performing data conversion by index table information generated from a Galois field multiplying table so that data for RAID6 are generated. A table check circuit inspects nonconformity of the index table information in advance by using results in which the Galois field multiplying table is indexed from different directions constructed by the longitudinal direction and the transversal direction. Data and parity for making the multiplying calculation are decomposed into plural data and parities by using this table check circuit, and index table information different from each other are allocated to these data and parities. Thus, a longitudinal index table making circuit and a transversal index table making circuit themselves are checked.

Abstract: A publishing program can provide continuous and real-time feedback on possible design problems while a document is being edited or created. The feedback can include displaying a user interface that has a real-time list of any design problems that may be a result of the current edits or creations in a document. The list is updated as the document is being created or edited. A user can toggle between the list and the document as often as desired. The list can identify all current potential publication problems of an electronic document as well as the types of the publication problems that may be present in an electronic document.

Abstract: A method and system for downloading an editable web page having corresponding dynamic content. Dynamically rendered web pages are provided with a special script therein. In response to a client request for a dynamically rendered web page, the server sends the editable page with the script embedded therein. When the script is executed at the client, it creates a frame in the browser, and provides a reference to a DLL that is located on the server and the address for the same requested web page. The DLL is executed at the server and, in response, opens the dynamically rendered web page, retrieves dynamic content for the web page from a database, loads the dynamic content into the document, and returns the web page with the dynamic content to the browser as the content for the newly created frame.

Abstract: A system and method are disclosed for managing target documents referred to by referring documents. A user sends a delete request for a referring document from a user client computer to a master server computer. Next, the master server computer accesses and deletes the referring document, updates a counter for a target document hypertext linked to the referring document, and updates a database, which contained the deleted referring document. The master server computer then determines whether the count for the counter of the target document equals zero. If the counter for the referring document is not equal to zero, the master server computer sends a message to the user indicating that the referring document has been deleted and sends a message to the user asking whether the user wants to delete another referring document. If the user wants to delete another referring document the process goes back to the initial process step, and the user sends another delete request for a referring document.

Abstract: Approaches are described herein to represent a delta using the extensible style language transformation language (XSLT) to describe the delta between versions of a data entity. XSLT is a language that defines operations for transforming a body of data (“source”) that conforms to the extended mark-up language (XML) into a different body of data (“target”) typically in another format, such as HTML. A set of XML instructions represents a delta by specifying operations needed to transform or change a source version of an XML entity into a target version of an XML entity.

Abstract: A method, computer program product, electronic document product, and data processing system for rendering web pages containing dynamic data is disclosed. A rendering program executes periodically to render web documents from source documents, base strings for various visual features, database information, and descriptive text. Special command strings located within a source document direct the rendering program to insert information for a database or to insert descriptive text. The format for the inserted data is determined according to a base string for the particular feature(s) of the document being inserted. The resulting rendered document is stored on the web server for quick retrieval with little or no additional document processing.

Abstract: Described is a method and system for comparing two XML documents, usually represented as two logical dependency trees, and providing their differences as a set of tree operations. The set of tree operations may be used to transform one tree to the other. A first phase constructs an XML tree of nodes for each file, and a second, link tree construction phase builds a tree of link objects that relate nodes in the left tree to nodes in the right tree. Construction of the link tree generally operates by mapping equal subtrees in the left and right trees to each other, linking mapped subtrees to each other, removing any crossing links, linking groups, and filling gaps in the link tree. A third output phase uses the link tree to write an output file, such as comprising an XML document of change (e.g., insert and delete) operations.

Abstract: A SEF grammar is created to be used with the Java CC program to autogenerate a SEF parser. The SEF parser can be run with specially written X12 code on any SEF file to automatically create an EDI object model for that SEF file. A programmer can then write application code to use the EDI object model to parse an EDI document that the SEF file describes and generate in memory an EDI object model instance for that EDI document. The application code is also used to employ the EDI object model instance to efficiently process the EDI document's EDI transaction. In addition, the application code is used to employ the EDI object model on the EDI object model instance to emit an EDI document for further use.

Abstract: An apparatus comprises a stylesheet compiler and a document processor. The stylesheet compiler is configured to identify expressions in a stylesheet and is configured to generate one or more expression trees representing the expressions. Expressions having one or more common nodes are represented as children of a subtree that represents the common nodes. Coupled to receive a document and the expression tree, the document processor is configured to evaluate the expressions represented in the one or more expression trees against the document.

Abstract: A document processing system and method for actively processing a document targeted for one system on another system. The method of processing a document having associated field definitions targeted for a system operating in a first encoding scheme in a text editor operating in a second encoding scheme includes determining if a change to the document in the second encoding scheme violates one of the field definitions associated with the document and providing an indication to the text editor when a field definition violation is determined. The processing functions include creating, inserting, editing, deleting and formatting. The document processing system can be used when editing RPG documents in a Unicode editor for ultimate processing by a non-Unicode system such as EBCDIC DBCS. The indications can include setting a flag, which can be used by the text editor to drive visual indicators of violations, deny changes and the like.

Abstract: A system and method for autonomous correction of defective documents include an autonomous document. The autonomous document can signal a history server whenever an operation such as printing, scanning, editing, distribution, storage, or retrieval is performed on the document. The history server can be queried to determine when a given defect was introduced into a document, and which instances of the document contain the defect. Based on this information, notifications can be sent to all users who were ever in possession of one of the defective instances, and the defective instances can be automatically corrected. Since the document instances are active entities, they can receive and act on notifications of defects in themselves, follow instructions on how to correct the defect, and notify the history server once the defect has been corrected. The document can act without permission from any user in possession of the document.

Abstract: A mixed translation of content is created in one document based on a new use of the ‘lang’ attribute on standard HTML tags. The HTML 4.0 specification defines the ‘lang’ attribute as being used for an element's attribute value and content. Browsers use this information to assist in proper rendering of content associated with treatment of ligatures, hyphenations and quotations. Search engines and other applications may use this field for spell checking or creating indices. The implication of this common usage is that the content is in the language indicated by the ‘lang’ attribute and language specific rules for its rendering apply.

Abstract: A web browser magnifies the content of the whole page in memory and displays the relevant portion in a magnifier with hyperlinks. The web browser then maps the magnified display to the original document. Thus, manipulation of the mouse in the magnified display may result in an action with respect to the original document. The user may then select a link for navigation within the magnified display. Alternatively, the web browser may analyze the original web page and construct magnifier contents on the basis of either the document object model, extensible markup language (XML), or hypertext markup language (HTML) representation of the magnified portion.

Abstract: A method and system for enabling user interaction with computer software running in a computer system. The user is provided with an interface surface containing information relating to the computer software and including coded data indicative of at least one interactive element relating to the computer software. A sensing device in the form of an optically sensing stylus contains identifying data indicative of an identity of the user. When the user writes with the stylus, or uses it as a pointer, an operative end of the stylus is brought into contact with the interface surface. The sensing device senses indicating data indicative of the at least one interactive element using at least some of the coded data. The computer system receives the identifying data and the indicating data from the sensing device. The interactive element is identified in the computer system using the indicating data, and user data is identified using the identifying data.

Abstract: A computer-based method and device for conveying interrelated image and narrative information, suitable for use with a variety of types of information ranging from product information and maintenance procedures to cooking recipes, game commentaries, and travel guides. The first component of the device is an authoring environment used to specify images, narrative text, and interrelationships between elements of each. A second component is a conversion device that prepares the authored materials for viewing. The third component of the device is a delivery or run-time system, capable of being implemented in a standard World-Wide Web browser, which interacts with an end-user to present the information in an integrated fashion, such as by displaying or highlighting relevant portions of the image when the related portion of the narrative text is accessed and vice versa.

Abstract: A method of generating an image or a video stream is disclosed, in which a composition space within a standard display tool is utilized. In an embodiment, a video editor is configured to control a timer and a frame grabber of the standard display tool, which is configured to receive a document encoded in a standard display language. The video editor controls the timing according to quality requirements, the standard display tool composes an image from the document in the composition space, the frame grabber transmits the image to a destination, such as a video compressor, which may collect a series of images as frames and generate a video stream from the images.

Abstract: A video processing method. A display region is provided according to a timeline, comprising at least one first sub-region with higher time resolution and one second sub-region with lower time resolution. A time scale value of the first sub-region is smaller than that of the second sub-region, and the first and second sub-regions have low-speed and medium-speed controls for scrolling forward and backward respectively. When a desired frame is located in the first sub-region, the low-speed or medium-speed control is scrolled to forward or backward on the timeline according to an operating command to locate the desired frame. When the desired frame is located in the second sub-region, the low-speed or medium-speed control is scrolled to forward or backward on the timeline according to an operating command to move the desired frame to the first sub-region.

Abstract: A method and apparatus of monitoring business metrics, the method and apparatus providing an interface with which a user can specify what metrics to monitor, what type of visual element to use to display monitored information, and how to position the visual element on a screen.

Abstract: A processing device generates a relationship view of managed entities in a storage area network based on objects stored in a relational database. Each managed entity (e.g., file system, database, volume, storage device, etc.) in the storage area network has a corresponding managed object stored in the relational database. Generally, managed objects of a particular type are categorized into one or more tables. Such tables are related to one another by foreign key attributes, which represent relationships between types of managed objects (and thus a relationship between corresponding managed entities). Relationships among the managed objects in the relational database may be generally classified as either association or containment. Association identifies a logical relationship between managed objects. Containment identifies groups of managed objects that are logically associated with each other.

Abstract: A computer system is disclosed which may adopt one of many personas, depending upon the role that its owner is currently playing. The computer system includes a central repository of extensible personas available to all applications running on the computer system. Each such persona has associated therewith a suite of parameters, or specific values for parameters, which are appropriate for conducting computer implemented transactions under a particular persona. The computer system further includes a graphical user interface which allows the user to switch from persona to persona by selecting a particular persona from a list of available personas displayed on a display screen of the computer system. By selecting such persona, the user causes the computer system to globally change the entire suite of parameter values so that subsequent transactions conducted with the computer system employ the parameter values of the current persona.

Abstract: A method, system, and a computer program product that enables a second window opened on a display screen to “flow” into and fill/occupy all available space within the displayable area of the display screen without overlapping a first window occupying less than the maximum width and/or length of the display area. A window flowing utility enables multiple windows to concurrently coexist and fill the maximum displayable area of the display screen. The window flowing utility determines which areas of the display screen are not currently being utilized by the first window, and allows the second window to occupy all of the available space remaining on the display device surrounding the first window.

Abstract: Data items contained in personal information are displayed in manner that is indicative of both the importance and the urgency of the data items. A first visual cue is assigned to the data item based on an importance of the data item. The first visual cue may cause more important items to be displayed with increased size and less important items to be displayed with decreased size. A second visual cue is assigned to the data item based on an urgency of the data item. The second visual cue may cause more urgent items to be displayed in a first color and less important items to be displayed in a second color. The data item is displayed using the first and second visual cue as to provide a visual indication as to both the importance and urgency of the data item.

Abstract: Methods and apparatuses are disclosed for displaying text on a communications device. One method controls a display using a Subscriber Identity Module application. The Subscriber Identity Module application specifies a duration for which text is displayed on the communications device. The duration specifies a time for which the text is displayed before clearing the text or until a user clears the text. The duration is defined by any attribute in the Subscriber Identity Module application. The attribute may comprise any command or data object, however, the attribute preferably comprises a “duration” data object for a DISPLAY TEXT command in the Subscriber Identity Module application.

Abstract: Date and time information concerning image files included in the folder is obtained, a time range from the oldest image to the newest image is calculated, and the time range is displayed with folder information. For example, data on shot dates and times recorded as associated information concerning the images or time stamps of the files are used to calculate the time range, and the date range is displayed on a folder icon or on a tab portion of the folder icon. Moreover, a file list displayed last time is stored, the stored file list is compared with a current file list, and only if the both file lists are different from each other, the date and time information is obtained for a different file to recalculate the time range. Thus, the user can infer images included in the folder to some extent and easily retrieve a desired image.

Abstract: To improve the art of graphical user interfaces, the present invention introduces a system that displays iconic resource representations having a salient dimension in a manner that provides the user with an indication of where the user is within that resource. The system of the present invention achieves this goal with the use of a novel system of icon label placement for that resource icon. Specifically, the system of the present invention uses the position of a label on an iconic resource representation that extends beyond at least one edge of a window to convey a proportional position within than iconic resource representation. Thus, a user is given an understanding of the current proportional location within an iconic resource representation from where the graphical interface system renders the label on the iconic resource representation.

Abstract: An apparatus and method for presenting electronic documents to users in the form of immersive reading pages. Immersive reading pages mimic the presentation that is provided by printed paper documents. There are no traditional user interface features displayed to the user, yet the user has access to the enhanced functionality that can be provided by computer-implemented documents. In an illustrative embodiment, the user has access to intrabook (or inside-the-book), interbook (or outside-the-book) navigational features, and content interactive features, such as highlighting, annotating, drawing or looking up definitions or synonyms of words in the document. Enhanced functionality is transparently associated with elements on the immersive reading page such that the immersive reading page is without visible indicators of the association. A training mode for permitting the user to learn the transparent association behind the immersive reading pages provides visual guides to the user.

Abstract: To make it easier to manipulate in direct action and to manage the degrees of freedom of a virtual dummy, the invention provides a graphical interface system enabling two windows to be displayed on a screen. The first window contains an overall representation of the dummy making it possible, using pointer means such as a mouse, for example, to select a member of the dummy directly on the screen. In response to such selection, the selected member appears in the second window on a larger scale together with symbols indicating all of the degrees of freedom available on the member in question. The operator can then act directly on the symbols of the degrees of freedom to block or unblock them or indeed to manipulate the dummy in direct action.

Abstract: Logical, safe, personalizable, and user friendly computer user interfaces may include: (a) plural branches; (b) plural sub-branches associated with the branches; and (c) an interface control that includes: a branch locking interface, a sub-branch locking interface, a branch display control interface, and/or a sub-branch display control interface. Optionally or alternatively, user interfaces may include: (a) a first section including plural items having a first common visual characteristic; and (b) a second section including plural items having a second common visual characteristic. In this manner, the common visual characteristics may indicate an association between the items sharing the characteristic.

Abstract: Systems, methods, and computer program products for graphical user interface presentation to implement filtering of a large unbounded hierarchy. Exemplary embodiments include a method including retrieving the file hierarchy tree for presentation on the display, the file hierarchy tree representative of a plurality of nodes, navigating the file hierarchy tree to identify nodes for selection in a sub-group of nodes, receiving a node selection signal, presenting the selected node with a highlight on the display, receiving a menu selection signal, displaying a menu on the display including an option to create a filter, receiving a filter creation selection signal, displaying a popup dialog box on the display, the popup dialog box including an option to create a new filter and edit an existing filter, receiving a dialog box selection signal and displaying a filtered hierarchy tree on the display, the filtered hierarchy tree including the sub-group of nodes.

Abstract: A cellular telephone set can simplify operation when a picture (picture memorandum) picked-up as memorandum is registered in a memory and reproduced. Upon initial registration of an image to a memory for the picture memorandum, a picture memorandum icon is generated and displayed by a CPU. In subsequent registration of images, a user is not required for a particular operation. Upon reading out the registered images, the first registered image is displayed on the waiting screen image by selecting the picture memorandum icon on the display portion. If the user wants to see a necessary image other than the display image, the registered images are displayed on the waiting screen image sequentially by operating the cursor key. Therefore, the desired image can be easily extracted.

Abstract: A method is provided for designing a system including an element, wherein the element connects a plurality of components. First, a system design including the plurality of components is established. A diagram associated with the system design is generated, the wiring diagram including the element and the plurality of components. Guidelines for designing the structure are established. A routing pattern in the system for the element is then determined automatically based on the diagram and the guidelines.

Abstract: An interconnect model-order reduction method reduces a nano-level semiconductor interconnect network as an original interconnect network by using iteration-based Arnoldi algorithms. The method is performed based on a projection method and has become a necessity for efficient interconnect modeling and simulations. To select an order of the reduced-order model that can efficiently reflect essential dynamics of the original interconnect network, a residual error between transfer functions of the original interconnect network and the reduced interconnect model may be considered as a reference in determining if the iteration process should end, with analytical expressions of the residual error being derived herein. Furthermore, the approximate transfer function of the reduced interconnect model may also be expressed as an addition of the original interconnect model and some additive perturbations. A perturbation matrix is only related with resultant vectors at a previous step of the Arnoldi algorithm.

Abstract: A method for performing verification includes importing a design netlist containing one or more components and computing one or more output functions for the one or more components. One or more output equivalent state sets are generated from the one or more output functions and one or more next-state functions for the one or more components are identified. One or more image equivalent state sets for the one or more next-state functions are produced and one or more output-and-image equivalent state sets are classified for the one or more image equivalent state sets and the one or more output equivalent state sets. One or more input representatives of the one or more equivalent input sets are selected and an input map is formed from the one or more input representatives. The input map is synthesized and injected back into the netlist to generate a modified netlist.

Abstract: A system and method are disclosed for legalizing a flat or hierarchical VLSI layout to meet multiple grid constraints and conventional ground rules. Given a set of ground rules with multiple grid constraints and a VLSI layout (either hierarchical or flat) which is layout-versus-schematic (LVS) correct but may not be ground rule correct, the system and method provide a legalized layout which meets the multiple grid constraints while maintaining LVS correctness and fixing the ground rule errors as much as possible with minimum layout perturbation from the input design. The system and method support multiple grid pitch constraints for hierarchical design, and provide for LVS correctness to be maintained while an on-grid solution possibly with some spacing violations.

Abstract: A simulation/debugging method for SOC designs that utilizes initial memory values loaded into a simulation model. A test program is then executed, and incremetal transaction records are generated for each incremental memory access (e.g., data write operations). Each transaction record includes a timestamp, address and data values. The transaction record information is stored/captured on a high level-based (i.e., system address-based) domain that takes into account all the tiling, interleaving, scrambling, and unaligned accessing used in the simulated SOC design, rather than on a low level-based (i.e., physical memory address-based) domain. Upon completing the simulation, the instantaneous memory contents at any selected point in time during the simulated execution are calculated by combining the initial data and intermediate transaction record information. Automatic memory dump and sanity check tests verify the integrity of the final data value and incremental transactions.

Abstract: Disclosed are methods and systems for generating S-parameters. In some embodiments, the methods and systems comprise creating (e.g., extracting, calculating, generating), in part or whole into the development environment, S-parameters of the given netlist, which may be represented in part or whole by S-parameters. This is useful in data abstraction, topology complexity reduction, or data hiding. Some embodiments provide convenient and automated approaches for what is normally a complicated and laborious process. Some embodiments provide the ability to generate S-parameters for the specified part or whole topology netlist. Ports can be specified at any node in the topology. Non-linear devices, e.g., IBIS buffers, diodes, non-linear terminations, can be automatically excluded from generated S-parameter model. Additionally, adding the device package models is an available option.

Abstract: A system and method for identifying, for a selected signal, those signals whose value is relevantly determined based upon a value of the selected signal, where a set of signals to be examined is identified as those signals that satisfy one or more of the following criteria: (1) they are RTL load signals of the selected signal, (2) they are RTL load signals that are also in an analysis region, (3) they are RTL load signals within the analysis region that also contribute to a proof target, and/or 4) they are RTL load signals that contribute to the proof target.

Abstract: A method of performing timing analysis on a circuit design for an integrated circuit (IC) can include selecting a physical portion of the IC that includes at least one instance of a logic hierarchy and generating a local timing constraint specific to the physical portion. The method also can include creating a software representation of the physical portion of the IC. The software representation can specify the local timing constraint and a shell netlist for the physical portion. The method further can include performing a timing analysis upon, at least part of, the circuit design using the software representation.

Abstract: A method and a device determine a time response of a digital circuit. The time response is determined as a time difference between a data delay of a data path of the digital circuit, and a clock delay of a clock signal, which causes storage of a data item on the data path, taking into account a check. The check is determined dependent on a data slew of a signal on the data path and a clock slew of the clock signal in such a way that a positive time difference ensures the correct saving of the data item.

Abstract: A method for determining criticality probability of an edge of a timing graph of a circuit is described. The method includes forming a directed acyclic timing graph corresponding to a circuit being timed, performing statistical timing of the circuit, for each edge of interest, defining a cutset that divides the timing graph into a plurality of parts, determining an edge slack for each edge in the cutset, computing a statistical maximum of all edge slacks in the cutset, and inferring edge criticality probabilities of each edge from the statistical maximum. A system for determining criticality probability of an edge of a timing graph of a circuit is also described.