Seletor idioma

Ir direto para menu de acessibilidade.
Início do conteúdo da página

DSVERIFIER (DIGITAL SYSTEMS VERIFIER)

DSVerifier é um verificador de modelos para ajudar engenheiros para verificar se há overflow, ciclo limite, erro, o tempo, estabilidade e fase mínima em sistemas digitais, considerando os efeitos de comprimento de palavra finita (FWL - Finite Word Length).

Download

http://dsverifier.org/

Responsáveis

Eddie Batista
Hussama Ismail
Iury de Bessa
João Edgar
Lucas Cordeiro
Mauro Lopes
Mikhail Ramalho
Renato Abreu
Waldir Sabino
Fim do conteúdo da página