SCOPUS 정보 검색 플랫폼

Proceedings - Design, Automation and Test in Europe Conference and Exhibition

Volumn 1, Issue , 2004, Pages 346-351

Microarchitecture development via metropolis successive platform refinement

(3) Densmore, Douglas a Rekhi, Sanjay b Sangiovanni Vincentelli, Alberto a

a UNIVERSITY OF CALIFORNIA (United States)

b CYPRESS SEMICONDUCTOR (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CYPRESS SEMICONDUCTORS; INTELLECTUAL FRAMEWORK; MICROARCHITECTURE; DESIGN METHODOLOGY; EARLY VERIFICATION; EXPONENTIAL INCREASE; MICRO ARCHITECTURES; PLATFORM BASED DESIGN; SUCCESSIVE REFINEMENT; VERIFICATION PROCESS;

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; CONSTRAINT THEORY; INTEGRATED CIRCUITS; MATHEMATICAL MODELS; SEMICONDUCTOR MATERIALS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE REUSABILITY; EXHIBITIONS; INDUSTRIAL APPLICATIONS; OPTIMIZATION; VERIFICATION;

COMPUTER ARCHITECTURE; DESIGN;

EID: 3042611834 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DATE.2004.1268871 Document Type: Conference Paper

Times cited : (4)

References (8)

1
- 0042555959
- Defining platform based design
- th
- th, 2002.
- (2002) EE Design
- Sangiovanni-Vincentelli, A.¹

2
- 0000876922
- A framework for comparing models of computation
- Dec.
- E.Lee, A.Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217-29, Dec 1998.
- (1998) IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems , vol.17 , Issue.12 , pp. 1217-1229
- Lee, E.¹ Sangiovanni-Vincentelli, A.²

3
- 0344951184
- Metropolis: An integrated electronic system design environment
- April
- F.Balarin, Y.Watanabe, H.Hsieh, L.Lavagno, C.Passerone, A.Sangiovanni-Vincentelli, "Metropolis: An Integrated Electronic System Design Environment", IEEE Computer, April 2003, p 45-52.
- (2003) IEEE Computer , pp. 45-52
- Balarin, F.¹ Watanabe, Y.² Hsieh, H.³ Lavagno, L.⁴ Passerone, C.⁵ Sangiovanni-Vincentelli, A.⁶

4
- 3042546209
- System packet interface level 5
- November
- K. Gass, and R. Tuck, "System Packet Interface Level 5", Optical Internetworking Forum Contribution - OIF 2001.134, November 2001.
- (2001) Optical Internetworking Forum Contribution - OIF 2001.134
- Gass, K.¹ Tuck, R.²

5
- 0034428118
- System level design: Orthogonalization of concerns and platform based design
- December
- K.Keutzer, S.Malik, A.R. Newton, I.Rabaey, A. Sangiovanni-Vincentelli, "System Level Design: Orthogonalization of Concerns and Platform Based Design", IEEE Transactions on Computer Aided Design, December 2000.
- (2000) IEEE Transactions on Computer Aided Design
- Keutzer, K.¹ Malik, S.² Newton, A.R.³ Rabaey, I.⁴ Sangiovanni-Vincentelli, A.⁵

6
- 3042548385
- Synopsys Users Group (SNUG), San Jose
- S.Rekhi, R.Purasai, "The Next Level of Abstraction: Evolution in the Life of an ASIC Design Engineer", Synopsys Users Group (SNUG), San Jose, 2003.
- (2003) The Next Level of Abstraction: Evolution in the Life of an ASIC Design Engineer
- Rekhi, S.¹ Purasai, R.²

7
- 0004149896
- Kluwer Academic Publishers, May
- T. Grotker, S. Liao, G. Martin, S. Swan, "System Design with SystemC", Kluwer Academic Publishers, May 2002.
- (2002) System Design with SystemC
- Grotker, T.¹ Liao, S.² Martin, G.³ Swan, S.⁴

8
- 84863971672
- You assume, we guarantee: Methodology and case studies
- th International Conference on Computer Aided Verification (CAV), Springer-Verlag
- th International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 1427, Springer-Verlag, 1998,p.440-451.
- (1998) Lecture Notes in Computer Science , vol.1427 , pp. 440-451
- Henzinger, T.¹ Qadeer, S.² Rajamani, S.K.³

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