Text this: Uma ferramenta automatizada para analise e projeto de circuitos digitais multi-valores