FSM Encoding for BDD Representations

DOI10.2478/v10006-007-0011-6zbMath1153.68553OpenAlexW2127434751WikidataQ57380491 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

zbMATH Keywords

formal verificationencodinglogic synthesisbinary decision diagramfinite state machinelogic representation

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Abstract data types; algebraic specification (68Q65) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Related Items (2)

FSM Encoding for BDD Representations ⋮ Probability timed automata for investigating communication processes

Cites Work

• Some dangers in state reduction of sequential machines
• Graph-Based Algorithms for Boolean Function Manipulation
• On the Influence of the State Encoding on OBDD-Representations of Finite State Machines
• FSM Encoding for BDD Representations
• Unnamed Item
• Unnamed Item

This page was built for publication: FSM Encoding for BDD Representations