| | |
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
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, 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
|
