2 search results - page 1 / 1 » Symbolic hazard-free minimization and encoding of asynchrono... |
ICCAD
1995
IEEE
13 years 10 months ago
1995
IEEE
ICCAD
1994
IEEE
13 years 10 months ago
1994
IEEE
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 enc...