An efficient cost-based canonical form for Boolean matching

Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07 ◽

10.1145/1228784.1228889 ◽

2007 ◽

Author(s):

Giovanni Agosta ◽

Francesco Bruschi ◽

Donatella Sciuto

Keyword(s):

Canonical Form ◽

Boolean Matching

Download Full-text

A unified approach to canonical form-based Boolean matching

2007 44th ACM/IEEE Design Automation Conference ◽

10.1145/1278480.1278689 ◽

2007 ◽

Author(s):

Giovanni Agosta ◽

Francesco Bruschi ◽

Gerardo Pelosi ◽

Donatella Sciuto

Keyword(s):

Canonical Form ◽

Unified Approach ◽

Boolean Matching

Download Full-text

A new canonical form for fast boolean matching in logic synthesis and verification

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1145/1065579.1065681 ◽

2005 ◽

Author(s):

Afshin Abdollahi ◽

Massoud Pedram

Keyword(s):

Canonical Form ◽

Logic Synthesis ◽

Boolean Matching

Download Full-text

A new canonical form for fast Boolean matching in logic synthesis and verification

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1109/dac.2005.193838 ◽

2005 ◽

Author(s):

A. Abdollahi ◽

M. Pedram

Keyword(s):

Canonical Form ◽

Logic Synthesis ◽

Boolean Matching

Download Full-text

Efficient canonical form for Boolean matching of complex functions in large libraries

IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) ◽

10.1109/iccad.2001.968724 ◽

2002 ◽

Author(s):

J. Ciric ◽

C. Sechen

Keyword(s):

Canonical Form ◽

Complex Functions ◽

Boolean Matching

Download Full-text

Efficient Computation of Canonical Form under Variable Permutation and Negation for Boolean Matching in Large Libraries

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1093/ietfec/e89-a.12.3443 ◽

2006 ◽

Vol E89-A (12) ◽

pp. 3443-3450 ◽

Author(s):

D. DEBNATH ◽

T. SASAO

Keyword(s):

Canonical Form ◽

Efficient Computation ◽

Boolean Matching

Download Full-text

A Unified Approach to Canonical Form-based Boolean Matching

2007 44th ACM/IEEE Design Automation Conference ◽

10.1109/dac.2007.375281 ◽

2007 ◽

Author(s):

Giovanni Agosta ◽

Francesco Bruschi ◽

Gerardo Pelosi ◽

Donatella Sciuto

Keyword(s):

Canonical Form ◽

Unified Approach ◽

Boolean Matching

Download Full-text

Efficient computation of canonical form for boolean matching in large libraries

ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753) ◽

10.1109/aspdac.2004.1337660 ◽

2005 ◽

Author(s):

D. Debnath ◽

T. Sasao

Keyword(s):

Canonical Form ◽

Efficient Computation ◽

Boolean Matching

Download Full-text

Efficient canonical form for boolean matching of complex functions in large libraries

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2003.810744 ◽

2003 ◽

Vol 22 (5) ◽

pp. 535-544 ◽

Author(s):

J. Ciric ◽

C. Sechen

Keyword(s):

Canonical Form ◽

Complex Functions ◽

Boolean Matching

Download Full-text

Symmetry Detection and Boolean Matching Utilizing a Signature-Based Canonical Form of Boolean Functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2008.923256 ◽

2008 ◽

Vol 27 (6) ◽

pp. 1128-1137 ◽

Author(s):

Afshin Abdollahi ◽

Massoud Pedram

Keyword(s):

Canonical Form ◽

Boolean Functions ◽

Symmetry Detection ◽

Boolean Matching

Download Full-text

Jordan Canonical Form for Finite Rank Elements in Jordan Algebras

Linear Algebra and its Applications ◽

10.1016/s0024-3795(96)00298-4 ◽

1997 ◽

Vol 260 (1-3) ◽

pp. 151-167

Author(s):

A LÃ³pez

Keyword(s):

Canonical Form ◽

Finite Rank ◽

Jordan Algebras ◽

Jordan Canonical Form ◽

Finite Rank Elements

Download Full-text