Introduction to Automated Formal Apps

Ebook gratuito

Verifica formale progetto Asic Fpga

Una “app formale” è uno strumento formale o una metodologia ben documentata incentrata su una sfida di verifica specifica e di alto valore. Tale sfida viene risolta in modo più efficiente usando metodi formali che usando approcci basati sulla simulazione. La necessità di creare proprietà o avere conoscenze in Verifica Basata sulle Asserzioni è significativamente ridotta o addirittura completamente eliminata.

Leggendo questo ebook potrai imparare come funziona la verifica formale con gli strumenti messa a disposizione da Questa.

CadlogIntroduction to Automated Formal Apps