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).
Página inicial > Produtos > Verificação de Software e Sistemas > VERIFICAÇÃO DE SOFTWARE E SISTEMAS > DSVERIFIER (DIGITAL SYSTEMS VERIFIER)
Redes Sociais