Python Logic Simulation Library (github.com/cjdrake)
SeqiLog (pronounced seh-kwi-log) is a Python library for logic design and verification.