SCOPUS 정보 검색 플랫폼

Proceedings - 16th Symposium on Integrated Circuits and Systems Design, SBCCI 2003

Volumn , Issue , 2003, Pages 217-222

A consumer report on BDD packages

a IBM T J WATSON RESEARCH CENTER (United States)

Author keywords

Binary decision diagrams; Data structures; Integrated circuit packaging; Law; Legal factors; Licenses; Operating systems; Packaging machines; Runtime; Software packages

Indexed keywords

BINARY DECISION DIAGRAMS; BOOLEAN FUNCTIONS; COMPUTER OPERATING SYSTEMS; DATA STRUCTURES; INTEGRATED CIRCUITS; PACKAGING MACHINES; SOFTWARE PACKAGES; SYSTEMS ANALYSIS;

INTEGRATED CIRCUIT PACKAGING; LAW; LEGAL FACTORS; LICENSES; RUNTIMES;

PACKAGING;

EID: 84945385449 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/SBCCI.2003.1232832 Document Type: Conference Paper

Times cited : (20)

References (22)

1
- 84957677102
- A brief study of BDD package performance
- Ellen Sentovich, "A brief study of BDD package performance," in Proc. FMCAD, 1996, pp. 389-403.
- Proc. FMCAD, 1996 , pp. 389-403
- Sentovich, E.¹

2
- 84948947376
- A Study of BDD Performance in Model Checking
- Bwolen Yang, Randall E. Bryant, David R. , O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev Ranjan, Fabio Somenzi, "A Study of BDD Performance in Model Checking," in Proc. FMCAD, November 3-6, 1998 Palo Alto, CA, pp. 255-289.
- Proc. FMCAD, November 3-6, 1998 Palo Alto, CA , pp. 255-289
- Yang, B.¹ Bryant, R.E.² O'Hallaron, D.R.³ Biere, A.⁴ Coudert, O.⁵ Janssen, G.⁶ Ranjan, R.⁷ Somenzi, F.⁸

3
- 0022769976
- Graph-Based Algorithms for Boolean Function Manipulation
- August
- Randal E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," in IEEE Transactions on Computers, C-35, N 8, August 1986, pp. 677-691.
- (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8 , pp. 677-691
- Bryant, R.E.¹

4
- 0032306493
- Design of a cache-friendly BDD package
- David Long, "Design of a cache-friendly BDD package," in Proc. ICCAD, 1998, pp. 639-645.
- Proc. ICCAD, 1998 , pp. 639-645
- Long, D.¹

5
- 84945332935
- Yusuke Matsunaga, personal communication, 2003
- Yusuke Matsunaga, personal communication, 2003.

6
- 0029708239
- High Performance BDD Package By Exploiting Memory Hierarchy
- rd DAC, 1996, pp. 635-640
- rd DAC, 1996 , pp. 635-640
- Sanghavi, J.V.¹ Ranjan, R.K.² Brayton, R.K.³ Sangiovanni-Vincentelli, A.⁴

7
- 0025558645
- Efficient Implementation of a BDD Package
- th DAC, 1990, pp. 40-45.
- th DAC, 1990 , pp. 40-45
- Brace, K.S.¹ Rudell, R.L.² Bryant, R.E.³

8
- 84881160142
- Design of a Pointerless BDD Package
- th IWLS, 2001, pp. 310-315.
- th IWLS, 2001 , pp. 310-315
- Janssen, G.¹

9
- 0346837005
- BDD algorithms and cache misses
- Department of Computer Science, University of Aarhus
- Nils Klarlund, Theis Rauhe, "BDD algorithms and cache misses," Technical Report BRICS Report Series RS-96-5, Department of Computer Science, University of Aarhus, 1996
- (1996) Technical Report BRICS Report Series RS-96-5
- Klarlund, N.¹ Rauhe, T.²

10
- 84945401235
- http://i10www.ira.uka.de/armin/abcd/index.html

11
- 84945384233
- http://www-asim.lip6.fr/alliance/

12
- 84945374125
- http://www.itu.dk/research/buddy/

13
- 84945324422
- http://www-cad.eecs.berkeley.edu/Respep/Research/bdd/cal-bdd/

14
- 84945414196
- http://www-2.cs.cmu.edu/afs/cs/project/modck/pub/www/bdd.html

15
- 84945379704
- http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html

16
- 84945403488
- http://www.el.feri.uni-mb.si/est/

17
- 84945345407
- http://www.research.ibm.com/da/bdd.html

18
- 84945389373
- http://www.brics.dk/mona/

19
- 84945328623
- ftp://ftp.polito.it/pub/people/panta/bdd.tar.Z

20
- 84945413295
- http://www.informatik.uni-freiburg.de/~edelkamp/StaticBdd/

21
- 84945424928
- http://www-2.cs.cmu.edu/~bwolen/fmcad98/packages/tiger/

22
- 84945359594
- http://www.rs.e-technik.th-darmstadt.de/~sth/download.html

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