Exact Dichotomy-based Constrained Encodi

Authors:
Olivier Coudert;C.-J. Richard Shi
Affiliations:
-;-
Venue:
ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
Year:
1996

Citing 0
Cited 3

A fast and robust exact algorithm for face embedding

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Cluster-cover: a theoretical framework for a class of VLSI-CAD optimization problems

ACM Transactions on Design Automation of Electronic Systems (TODAES)
A new paradigm for dichotomy-based constrained encoding

Proceedings of the conference on Design, automation and test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

Constrained encoding has several applications in the synthesis of finite state machines (FSMs). E.g., it can be used to generate asynchronous FSM state assignment that guarantees a critical hazard-free implementation, or to generate synchronous FSM state assignment with minimum PLA implementation. This paper presents ZeDicho, an original zero-suppressed binary decision diagram (ZBDD) based algorithm that solves exactly the dichotomy-based constrained encoding problem.