A logic simulation device includes an indefinite value generating signal line extracting unit, a propagation deciding unit and a message output unit. The logic simulation device is supplied with circuit connection data of a logic circuit and input signal data employed for simulating the logic circuit....http://www.google.fr/patents/US5706223?utm_source=gb-gplus-shareBrevet US5706223 - Logic simulator and logic simulation method
