3 search results - page 1 / 1 » Efficient Boolean Division and Substitution |
DAC
1998
ACM
13 years 9 months ago
1998
ACM
Boolean division, and hence Boolean substitution, produces better result than algebraic division and substitution. However, due to the lack of an efficient Boolean division algorit...
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
SPE
2002
13 years 4 months ago
2002
: The paper presents a hard real-time kernel for distributed computer control systems (DCCS) highlighting a number of novel features, such as integrated scheduling of hard and soft...