Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Facilitating Reuse in Hardware Models with Enhanced Type Inference

Summary: Facilitating Reuse in Hardware Models
with Enhanced Type Inference
Manish Vachharajani Neil Vachharajani Sharad Malik David I. August
Departments of Computer Science and Electrical Engineering
Princeton University
Princeton, NJ 08544
{manishv, nvachhar, malik, august}@princeton.edu
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, lead-
ing 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 fea-
tures creates overhead for designers that discourages reuse, negat-
ing any benefits of reuse.
This paper presents a type system which supports both compo-
nent overloading and parametric polymorphism. It proves that per-
forming type inference for any such system is NP-complete and


Source: August, David - Department of Computer Science, Princeton University


Collections: Computer Technologies and Information Sciences