Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal

Autor:	Quer, Stefano, Cabodi, Gianpiero, Camurati, Paolo Enrico, Lavagno, Luciano, Sentovich, E. M., Brayton, R. K.
Jazyk:	angličtina
Rok vydání:	1995
Předmět:	Formal verification Formal verification Sequential verification Re-encoding Re-encoding Sequential verification
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______2153::b352320dae4980c18e77fb8617eeed4d http://hdl.handle.net/11583/2654246 Zobrazit plný text záznamu