Patent application number | Description | Published |
20120180015 | SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN INTEGRATED CIRCUIT - A method and system for metastability verification of an integrated circuit design are provided. An IC design is received and the source-to-destination paths of the IC design are determined. For each of the determined source-to-destination paths, it is determined whether the corresponding source is synchronized. For each source its respective synchronized or unsynchronized result is stored and a report is generated for each source describing whether it is synchronized or unsynchronized. | 07-12-2012 |
20130239080 | HIERARCHICAL BOTTOM-UP CLOCK DOMAIN CROSSING VERIFICATION - Clock-domain crossing (CDC) verification for system on chip (SoC) integrated circuits (IC) can be time consuming and complex, especially as the size of the SoC and the complexity of the modules of which it comprises increase. A bottom-up verification process includes the replacement of a CDC verified module by an abstracted model of the module with constraints defined on the boundaries of the module. Performing the process in a hierarchic manner from bottom upwards allows for faster verification of modules higher in the hierarchy as at least portions thereof are replaced with the abstracted modules. | 09-12-2013 |
20130246989 | SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN INTEGRATED CIRCUIT - A system and methods for metastability verification of an integrated circuit design are provided. An IC design is received and the source-to-destination paths of the IC design are determined. For each of the determined source-to-destination paths, it is determined whether the corresponding source is synchronized. For each source its respective synchronized or unsynchronized result is stored and a report is generated for each source describing whether it is synchronized or unsynchronized. The system may be at least a portion of a computer aided design (CAD) system. | 09-19-2013 |
20140282321 | SYSTEM AND METHOD FOR A HYBRID CLOCK DOMAIN CROSSING VERIFICATION - A method of hybrid clock domain crossing (CDC) verification includes receiving a design or an integrated circuit (IC) design constraints. Static CDC verification is performed, including structural and functional verification. The result is checked and explicit or implicit assumptions are made to signoff verification. Incomplete formal analysis results are discarded after review. Assertions and monitors are generated by this process to capture the assumptions and check partially covered properties by formal analysis. A dynamic simulation is run using a testbench, the generated assertions and the monitors. The static verification and dynamic verification processes may be repeated until a satisfactory coverage is obtained. A system, such as a computer aided design (CAD) system, is configured to perform CDC verification of the IC design. The system may generate assertions and monitors to then run a simulation and determine coverage. Results are then reiterated through the system back to the static CDC verification. | 09-18-2014 |
20140282322 | SYSTEM AND METHOD FOR FILTRATION OF ERROR REPORTS RESPECTIVE OF STATIC AND QUASI-STATIC SIGNALS WITHIN AN INTEGRATED CIRCUIT DESIGN - A system and method identify potentially static and/or quasi-static signals within an integrated circuit (IC), or portion thereof. Static and quasi-static signals may be identified in a design description of the IC by any one or more of: (1) a fan-out size exceeding some threshold, (2) a toggle frequency in a simulation trace that is below some threshold, and (3) a signal name that appears in a list accessed from the memory. Identification of static and quasi-static signals is performed, typically, as part of a verification process in order to flag cases where the verification system would otherwise indicate an error (e.g., at a clock domain crossing). Identifying a signal of the IC as being static or quasi-static improves the quality of results of verification and makes it easier for a prospective user to concentrate on actual rather than spurious issues reported during verification. | 09-18-2014 |
Patent application number | Description | Published |
20100106555 | System and Method for Hierarchical Weighting of Model Parameters - A computer-implemented method estimates model parameters for a product. The method includes storing transaction data from customer sales in a database. The transaction data includes a product and a store. The database includes a hierarchical categorization of the products or the stores. The method includes generating a model for each product at each store in the database. The models include model parameters. The method includes aggregating first and second sets of model parameters from a first set of products occupying a first node of the hierarchical categorization and a second set of products occupying a second node of the hierarchical categorization, weighting the first and second sets of model parameters, and storing the average of the weighted first and second sets of model parameters in the database as the model parameters for a model of a product. | 04-29-2010 |
20110071885 | System and Method for Disaggregating Weekly Forecast Into Daily Components - A computer-implemented method transforms transactional data into a forecast of demand for controlling a commerce system. Goods move between members of a commerce system. The transactional data is recorded. Daily disaggregating parameters (DDP) are estimated by minimizing an error function of day of week and transactional data grouped according to promotion, price range, or customer. Model parameters are estimated based on the DDP and transactional data using a demand model to generate a weekly forecast of demand for the good. The weekly forecast of demand is disaggregated into daily components using the DDP. The daily components of the forecast of demand are provided to a member of the commerce system to control the movement of goods in the commerce system. Any variation in the demand model due to promotions, price changes, out-of-stock, and low selling product is taken into account when determining the daily components. | 03-24-2011 |
20120310705 | METHOD AND SYSTEM FOR SEPARATING DEMAND MODELS AND DEMAND FORECASTS INTO CAUSAL COMPONENTS - According to some embodiments, a method and system provides separating demand models and forecasts into demand components thereof. The methods include receiving a demand model to forecast a demand for a product or service; decomposing the demand model into a plurality of distinct demand components, each of the demand components associated with a causal contribution to a demand for the product or service; and generating a demand forecast including an indication of the plurality of demand components associated with the causal contributions contributing to the demand forecast for the product or service. Some embodiments include a method to determine demand components of a demand model for a product or service based on historical data. | 12-06-2012 |
20130066678 | METHOD AND SYSTEM FOR DEMAND MODELING AND DEMAND FORECASTING PROMOTIONAL TACTICS - According to some embodiments, a system and method includes receiving historical data of promotional offers associated with a product or service, the promotional offers including at least one tactic effect; receiving a request to forecast a demand for the product or service, the request including an indication of a promotional offer tactic effect; generating a demand forecast including a tactic lift for the requested promotional offer tactic effect, the demand forecast based on the at least one tactic effect contributing to the demand for the product or service; and providing an output of the generated demand forecast | 03-14-2013 |