SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2001, Pages 439-442

BOOM - A heuristic Boolean minimizer

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; HIGH LEVEL LANGUAGES; OPTIMIZATION; PROBLEM SOLVING;

BOOLEAN MINIMIZATION TOOLS (BOOM);

BOOLEAN FUNCTIONS;

EID: 0035209084 PISSN: 10923152 EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (40)

References (15)

1
- 0006993783
- Efficient minimization method for incompletely defined Boolean functions
- Freiberg (Germany), Sept. 21-22
- (2000) Proc. 4th Int. Workshop on Boolean Problems , pp. 91-98
- Fišer, P.¹ Hlavička, J.²

2
- 0006916790
- Implicant expansion method used in the BOOM minimizer
- Gyor (Hungary), 18-20.4
- (2001) Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'01) , pp. 291-298
- Fišer, P.¹ Hlavička, J.²

3
- 0006917127
- A Heuristic method of two-level logic synthesis
- Orlando, Florida (USA) 22-25.7, II
- (2001) Proc. The 5th World Multiconference on Systemics, Cybernetics and Informatics SCI'2001 , pp. 283-288
- Hlavička, J.¹ Fišer, P.²

4
- 0003567872
- Boston, MA, Kluwer Academic Publishers
- (1984) Logic minimization algorithms for VLSI synthesis , pp. 192
- Brayton, R.K.¹

5
- 0026973232
- Implicit and incremental computation of primes and essential primes of Boolean functions
- Anaheim, CA, June
- (1992) Proc. of the Design Automation Conf. , pp. 36-39
- Coudert, O.¹ Madre, J.C.²

6
- 0028529390
- Two-level logic minimization: An overview
- Oct. 94
- Integration, the VLSI journal , vol.17 , Issue.2 , pp. 97-140
- Coudert, O.¹

7
- 0003588984
- Boston, MA, Kluwer Academic Publishers
- (1996) Logic synthesis and verification algorithms , pp. 564
- Hachtel, G.D.¹ Somenzi, F.²

8
- 33845331515
- Minimization of Boolean functions
- Nov.
- (1956) The Bell System Technical Journal , vol.35 , Issue.5 , pp. 1417-1444
- McCluskey, E.J.¹

9
- 0027277648
- Espresso-signature: A new exact minimizer for logic functions
- Proc. DAC'93
- McGeer, P.¹

10
- 0023172727
- Palmini - Fast Boolean minimizer for personal computers
- Proc. DAC'87 , pp. 615-621
- Nguyen, L.¹ Perkowski, M.² Goldstein, N.³

11
- 84939338348
- Multiple-valued minimization for PLA optimization
- Sept.
- (1987) IEEE Trans. on CAD , vol.6 , Issue.5 , pp. 725-750
- Rudell, R.L.¹ Sangiovanni-Vincentelli, A.L.²

12
- 0003623384
- PhD Thesis, UCB/ERL M89/49
- (1989) Logic Synthesis for VLSI Design
- Rudell, R.L.¹

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