US6173241B2 - Logic Simulator Which Can Maintain, Store, and Use Historical Event Records