Sciweavers

ICCAD
1994
IEEE

Boolean constrained encoding: a new formulation and a case study

13 years 7 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained encoding problem, and show that this definition encompasses many particular encoding found in VLSI design, at various description abstraction levels. Our approach can capture equivalence and/or compatibility classes in the original symbol set to encode, by allowing symbols codes to be cubes of a Boolean space, instead of the usual minterms. Besides, we introduce a unified framework to represent encoding constraints which is more general than previous efforts. The framework is based upon a new definition of the pseudo-dichotomy concept, and is adequate to guide the solution of encoding problems through the satisfaction of constraints extracted from the original problem statement. An encoding problem case study is presented, the state assignment of synchronous finite state machines with the simultaneous considerat...
Ney Laert Vilar Calazans
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1994
Where ICCAD
Authors Ney Laert Vilar Calazans
Comments (0)