Mahesh H. Doshi, Roderick B. Sullivan, Donald M. Schuler. THEMIS logic simulator - a mix mode, multi-level, hierarchical, interactive digital circuit simulator. In Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. D. Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman, editors, Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. pages 24-31, ACM/IEEE, 1984. [doi]
Abstract is missing.