Logic circuit simulator related domains (1)