Sciweavers

2 search results - page 1 / 1
» Efficient computation of canonical form for Boolean matching...
Sort
View
50
Voted
ASPDAC
2004
ACM
76views Hardware» more  ASPDAC 2004»
15 years 3 months ago
Efficient computation of canonical form for Boolean matching in large libraries
Debatosh Debnath, Tsutomu Sasao
DAC
2005
ACM
15 years 10 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram