logic simulator 추천해 주세요.

ALU 설계와 관련된 공부를 하면서 logic simulator을 사용하려는데,
마땅한 소프트웨어를 찾기가 어렵네요.

klogic, tlogsum, dlsim 등의 소프트웨어를 써 봤는데,
제가 잘 몰라서 그런지 multiplexor가 없거나 정상동작하지 않는 듯 합니다.

즐겨 쓰는 logic simulator가 있으면 저에게도 알려주세요.