Facilitating reuse in hardware models with enhanced type inference

Second IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and Systems Synthesis, CODES+ISSS 2004

Volumn , Issue , 2004, Pages 86-91

  Vachharajani, Manish ^a   Vachharajani, Neil ^a   Malik, Sharad ^a   August, David I ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

Component overloading; Component reuse; Liberty Simulation Environment (LSE); Polymorphism; Type inference

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; CONSTRAINT THEORY; HEURISTIC PROGRAMMING; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE;

COMPONENT OVERLOADING; COMPONENT REUSE; LIBERTY SIMULATION ENVIRONMENT (LSE); POLYMORPHISM; TYPE INFERENCE;

COMPUTER SOFTWARE REUSABILITY;

EID: 16244376206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1016720.1016744     Document Type: Conference Paper

References (15)

1. BURGER, D., AND AUSTIN, T. M. The SimpleScalar tool set version 2.0. Tech. Rep. 97-1342, Department of Computer Science, University of Wisconsin-Madison, June 1997.
2. DAVIS, M., LOGEMANN, G., AND LOVELAND, D. A machine program for theorem-proving. Communications of the ACM 5, 7 (1962), 394-397.
3. DOUCET, F., OTSUKA, M., SHUKLA, S., AND GUPTA, R. An environment for dynamic component composition for efficient co-design. In Proceedings of the Conference on Design, Automation and Test in Europe (2002).
4. DOUCET, F., SHUKLA, S., AND GUPTA, R. Typing abstractions and management in a component framework. In Proceedings of Asia and South Pacific Design Automation Conference (2003).
5. GAREY, M. R., AND JOHNSON, D. S. Computers and Intractability: A Guide to the Theory of NP-Completeness. W H Freeman & Co, New York, NY, 1979.
6. HARPER, R. Programming Languages: Theory and Practice. Draft, 2002.
7. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997.
8. ODERSKY, M., WADLER, P., AND WEHR, M. A second look at overloading. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture (1995), pp. 135-146.
9. OPEN SYSTEMC INITIATIVE (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.
10. PATERSON, M.S., AND WEGMAN, M. N. Linear unification. In Proceedings of the eighth annual ACM symposium on Theory of computing (1976), ACM Press, pp. 181-186.
11. PUTZKE-ROMING, W., RADETZKI, M., AND NEBEL, W. Objective VHDL: Hardware reuse by means of object oriented modeling, 1998. http://eis.informatik.uni- oldneburg.de/research/request.html.
12. SEIDL, H. Haskeil overloading is dexptime-complete. Information Processing Letters 52, 2(1994), 57-60.
13. SMITH, G. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming 23, 2-3 (1994), 197-226.
14. VACHHARAJANI, M., VACHHARAJANI, N., PENRY, D. A., BLOME, J. A., AND AUGUST, D. I. Microarchitectural exploration with Liberty. In Proceedings of the 35th International Symposium on Microarchitecture (November 2002), pp. 271-282.
15. XIONG, Y. An Extensible Type System for Component Based Design. PhD thesis, Electrical Engineering and Computer Sciences, University of California Berkeley, 2002.