SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2001, Pages 610-617

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

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DIGITAL LIBRARIES; LOGIC GATES;

BOOLEAN MATCHING;

BOOLEAN FUNCTIONS;

EID: 0035213068 PISSN: 10923152 EISSN: None Source Type: Journal
DOI: 10.1109/ICCAD.2001.968724 Document Type: Article

Times cited : (3)

References (11)

1
- 0029507888
- Limits of using signatures for permutation independent Boolean comparison
- (1995) Proc. of ASP Design Automation Conference , pp. 459-464
- Mohnke, J.¹ Molitor, P.² Malik, S.³

2
- 0028755286
- Efficient Boolean matching algorithm for cell libraries
- October
- (1994) Proc. of Int. Conference on Computer Design , pp. 36-39
- Wu, Q.¹ Chen, C.² Acken, J.³

3
- 0027005296
- Efficient Boolean function matching
- (1992) Proc. of Int. Conference on Computer-Aided Design , pp. 408-411
- Burch, J.¹ Long, D.²

4
- 0031622875
- Boolean matching for large libraries
- June
- (1998) Proc. of Design Automation Conference , pp. 206-211
- Hinsberger, U.¹ Kolla, R.²

5
- 0006955177
- Efficient Boolean matching in technology mapping with very large cell libraries
- (1993) Proc. of IEEE Custom Integrated Circuits Conference , pp. 361-366
- Schlichtmann, U.¹ Brglez, F.²

6
- 0027591119
- Algorithms for technology mapping based on binary decision diagrams and on Boolean operations
- May
- (1993) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , vol.12 , Issue.5 , pp. 599-620
- Mailhot, F.¹ De Micheli, G.²

7
- 0001277124
- A survey of Boolean matching techniques for library binding
- July
- (1997) ACM Transactions on Design Automation of Electronic Systems , vol.2 , Issue.3 , pp. 193-226
- Benini, L.¹ De Micheli, G.²

9
- 0003934798
- Technical Report UCB/ERL M92/41, University of California at Berkeley, May
- (1992) SIS: A System for Sequential Circuit Synthesis
- Sentovich, E.¹

10
- 0003728037
- McGraw-Hill Series on Computer Engineering
- (1994) Logic Synthesis
- Devadas, S.¹ Ghosh, A.² Keutzer, K.³

11
- 0027873364
- Permutation and phase independent Boolean comparison
- December
- (1993) Integration, the VLSI Journal , vol.16 , pp. 109-129
- Mohnke, J.¹ Malik, S.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.