Semi-formal specifications and formal verification improving the digital design: some statistics

Autor:	D. Torres, J. Cortéz, R. E. González
Jazyk:	angličtina
Rok vydání:	2009
Předmět:	assertion based verification semi formal specification Formal verification semi-formal specification finite state machines Ingeniería model checking tool
Zdroj:	Instituto Politécnico Nacional IPN Redalyc-IPN Journal of Applied Research and Technology (México) Num.1 Vol.7
Popis:	"In this work, an improvement of the traditional digital design methodology is proposed. The major change is the use of a semiformal specification for the code implementation, the use of a verification tool and the establishment of properties for the formal verification of Finite State Machines (FSM). From semi¿formal specifications, assertions were written using Property Specification Language (PSL) for an alignment circuit. Finally, a set of properties for the verification of this module were established and proved using a model checking tool. Our statistics proved that the whole design process was improved and considerable design time was saved."
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3d3baecf93da3672547951d37ad3fc03 https://www.redalyc.org/articulo.oa?id=47413026002 Zobrazit plný text záznamu