Creator:
Gosti, Wilsin ; Villa, Tiziano ; Saldanha, Alex ; Sangiovanni-Vincentelli, Alberto L.
Contributor:
Title:
FSM encoding for BDD representations
Group publication title:
Subject and Keywords:
binary decision diagram ; encoding ; finite state machine ; logic synthesis ; formal verification ; logic representation
Abstract:
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Date:
Resource Type:
DOI:
Pages:
Source:
AMCS, volume 17, number 1 (2007)