Inproceedings,

BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.

, and .
DAC, page 373-378. ACM, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews