BDD-based decompositions of multiple output logic functions
type: Item
instance of: scholarly article
title: BDD-based decompositions of multiple output logic functions
zbMATH Open document ID: 1203.94146
author: A. Dzikowski
author: Edward Hrynkiewicz
published in: Bulletin of the Polish Academy of Sciences. Technical Sciences
publication date: 2011-01-19T00:00:00Z
full work available at URL: (54-4)489.html
Mathematics Subject Classification ID: 94C99
zbMATH DE Number: 5838632
zbMATH Keywords: binary decision diagrams
zbMATH Keywords: decomposition
zbMATH Keywords: FPGA
MaRDI profile type: Publication
Recommended article: BDD-Based Boolean Functional Synthesis
Recommended article: Decomposition of multi-output Boolean functions
Recommended article: Bi-decomposition of multi-valued logical functions and its applications
Recommended article: Q4551139
Recommended article: Logic-based Benders decomposition
Recommended article: Decomposition of systems of Boolean functions determined by binary decision diagrams
Recommended article: Q4298716
Recommended article: A Technique for Representing Multiple Output Binary Functions with Applications to Verification and Simulation
Recommended article: Application of BDDs in Boolean matching techniques for formal logic combinational verification
Recommended article: Q4709311
description: scientific article; zbMATH DE number 5838632