EP 0150258 A2 19850807 - Method for propagating unknown digital values in a hardware based complex circuit simulation system.
Title (en)
Method for propagating unknown digital values in a hardware based complex circuit simulation system.
Title (de)
Verfahren zur Fortpflanzung unbekannter Digitalwerte in einem Simulationssystem mit hardwarebasiertem Komplexschaltkreis.
Title (fr)
Méthode de propagation de valeurs numériques inconnues dans un système de simulation à circuit matériel complexe.
Publication
Application
Priority
US 57536784 A 19840130
Abstract (en)
In a circuit system simulation model which may comprise a combination of the physical device to be modeled and means for controlling the physical device at normal operating speeds, a method is provided for propagating a simulated unknown signal value which comprises exciting the simulation model with differing pattern sequences a plurality of times, during each excitation sequence changing at least one input value in the input sequence, comparing the sampled values of each resultant output signal, and setting or recognizing as an unknown value any specific output signal which differs as a result of the change in the input sequence. Modification, repetition, sampling and comparison of patterns may be repeated a number of times. Only a fraction of the possible input patterns need to be presented to indicate the propagation of unknown values.
IPC 1-7
IPC 8 full level
G06F 11/25 (2006.01); G06F 11/26 (2006.01); G06F 17/50 (2006.01)
CPC (source: EP)
G06F 11/261 (2013.01); G06F 30/33 (2020.01)
Designated contracting state (EPC)
DE FR GB IT
DOCDB simple family (publication)
EP 0150258 A2 19850807; CA 1212770 A 19861014; JP S60163142 A 19850826
DOCDB simple family (application)
EP 84109638 A 19840813; CA 459153 A 19840718; JP 21873684 A 19841019