LogicWorks 4 :interactive circuit design software (Addison-Wesley, 1999)