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