Processing

Please wait...

Settings

Settings

1. WO1996004608 - SYSTEM AND METHOD FOR SIMULATING DISCRETE FUNCTIONS USING ORDERED DECISION ARRAYS

Publication Number WO/1996/004608
Publication Date 15.02.1996
International Application No. PCT/US1995/007475
International Filing Date 12.06.1995
Chapter 2 Demand Filed 22.02.1996
IPC
G06F 17/50 2006.01
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
17Digital computing or data processing equipment or methods, specially adapted for specific functions
50Computer-aided design
CPC
G06F 30/33
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
30Computer-aided design [CAD]
30Circuit design
32Circuit design at the digital level
33Design verification, e.g. functional simulation or model checking
Applicants
  • CADENCE DESIGN SYSTEMS, INC. [US/US]; 555 River Oaks Parkway M/S 5B2 San Jose, CA 95134, US
Inventors
  • MCGEER, Patrick, C.; US
  • SALDAHANA, Alexander; US
  • SANGIOVANNI-VINCENTELLI, Alberto; US
Agents
  • MCNELIS, John, T.; Fenwick & West Suite 600 Two Palo Alto Square Palo Alto, CA 94306 , US
Priority Data
08/284,15702.08.1994US
Publication Language English (EN)
Filing Language English (EN)
Designated States
Title
(EN) SYSTEM AND METHOD FOR SIMULATING DISCRETE FUNCTIONS USING ORDERED DECISION ARRAYS
(FR) SYSTEME ET METHODE DE SIMULATION DE FONCTIONS DISCRETES METTANT EN O×UVRE DES ENSEMBLES DE DECISIONS ORDONNES
Abstract
(EN)
A system and method increases discrete function simulator performance by creating a data structure that completely and accurately models a system of discrete function elements. A discrete function simulator simulates the system using the data structure. Sequential circuits are converted into blocks of combinational elements having latch variables stored to and read from memory. The simulator performance is dependent upon the number of system inputs and outputs and not on the number of discrete function elements in the circuit being simulated.
(FR)
Système et méthode améliorant la simulation de fonctions discrètes par la création d'une structure de données qui reproduit de manière complète et précise un système d'éléments de fonction discrète. Le simulateur de fonctions discrètes simule le système mettant en ÷uvre la structure de données. Les circuits séquentiels sont convertis en blocs d'éléments de combinaison comportant des variables verrous stockées dans une mémoire et lues à partir de cette mémoire. Le fonctionnement du simulateur dépend du nombre d'entrées et de sorties du système et non du nombre d'éléments de fonction discrète dans le circuit faisant l'objet de la simulation.
Also published as
Latest bibliographic data on file with the International Bureau