Facilitating reuse in hardware models with enhanced type inference

Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model construction time and enable the exploration of more design alternatives, leading to better designs. While component overloading and parametric polymorphism are critical for effective component-base reuse, no existing modeling language supports both. The lack of these features creates overhead for designers that discourages reuse, negating any benefits of reuse. This paper presents a type system which supports both component overloading and parametric polymorphism. It proves that performing type inference for any such system is NP-complete and presents a heuristic that works efficiently in practice. The result is a type system and type inference algorithm that can encourage reuse, reduce design specification time, and lead to better designs.

Original languageEnglish (US)
Title of host publicationInternational Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004
Pages86-91
Number of pages6
StatePublished - Dec 1 2004
EventSecond IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004 - Stockholm, Sweden
Duration: Sep 8 2004Sep 10 2004

Other

OtherSecond IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004
CountrySweden
CityStockholm
Period9/8/049/10/04

Fingerprint

Hardware
Polymorphism
Computer hardware
Systems analysis
Specifications
Modeling languages

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Vachharajani, M., Vachharajani, N., Malik, S., & August, D. I. (2004). Facilitating reuse in hardware models with enhanced type inference. In International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004 (pp. 86-91)
Vachharajani, Manish ; Vachharajani, Neil ; Malik, Sharad ; August, David I. / Facilitating reuse in hardware models with enhanced type inference. International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004. 2004. pp. 86-91
@inproceedings{243a5765db054bb999844dc91499cb00,
title = "Facilitating reuse in hardware models with enhanced type inference",
abstract = "High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model construction time and enable the exploration of more design alternatives, leading to better designs. While component overloading and parametric polymorphism are critical for effective component-base reuse, no existing modeling language supports both. The lack of these features creates overhead for designers that discourages reuse, negating any benefits of reuse. This paper presents a type system which supports both component overloading and parametric polymorphism. It proves that performing type inference for any such system is NP-complete and presents a heuristic that works efficiently in practice. The result is a type system and type inference algorithm that can encourage reuse, reduce design specification time, and lead to better designs.",
author = "Manish Vachharajani and Neil Vachharajani and Sharad Malik and August, {David I.}",
year = "2004",
month = "12",
day = "1",
language = "English (US)",
isbn = "1581139373",
pages = "86--91",
booktitle = "International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004",

}

Vachharajani, M, Vachharajani, N, Malik, S & August, DI 2004, Facilitating reuse in hardware models with enhanced type inference. in International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004. pp. 86-91, Second IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, 9/8/04.

Facilitating reuse in hardware models with enhanced type inference. / Vachharajani, Manish; Vachharajani, Neil; Malik, Sharad; August, David I.

International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004. 2004. p. 86-91.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Facilitating reuse in hardware models with enhanced type inference

AU - Vachharajani, Manish

AU - Vachharajani, Neil

AU - Malik, Sharad

AU - August, David I.

PY - 2004/12/1

Y1 - 2004/12/1

N2 - High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model construction time and enable the exploration of more design alternatives, leading to better designs. While component overloading and parametric polymorphism are critical for effective component-base reuse, no existing modeling language supports both. The lack of these features creates overhead for designers that discourages reuse, negating any benefits of reuse. This paper presents a type system which supports both component overloading and parametric polymorphism. It proves that performing type inference for any such system is NP-complete and presents a heuristic that works efficiently in practice. The result is a type system and type inference algorithm that can encourage reuse, reduce design specification time, and lead to better designs.

AB - High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model construction time and enable the exploration of more design alternatives, leading to better designs. While component overloading and parametric polymorphism are critical for effective component-base reuse, no existing modeling language supports both. The lack of these features creates overhead for designers that discourages reuse, negating any benefits of reuse. This paper presents a type system which supports both component overloading and parametric polymorphism. It proves that performing type inference for any such system is NP-complete and presents a heuristic that works efficiently in practice. The result is a type system and type inference algorithm that can encourage reuse, reduce design specification time, and lead to better designs.

UR - http://www.scopus.com/inward/record.url?scp=16244376206&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=16244376206&partnerID=8YFLogxK

M3 - Conference contribution

SN - 1581139373

SN - 9781581139372

SP - 86

EP - 91

BT - International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004

ER -

Vachharajani M, Vachharajani N, Malik S, August DI. Facilitating reuse in hardware models with enhanced type inference. In International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004. 2004. p. 86-91