FSM Encoding for BDD Representations
DOI10.2478/v10006-007-0011-6zbMath1153.68553WikidataQ57380491 ScholiaQ57380491MaRDI QIDQ5422957
Wilsin Gosti, Alex Saldanha, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Publication date: 30 October 2007
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/207815
formal verification; encoding; logic synthesis; binary decision diagram; finite state machine; logic representation
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68Q65: Abstract data types; algebraic specification
68P30: Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
Related Items
Cites Work