SALUJA MANISH KUMAR

Using patterns for high-level modeling and specification of properties for hardware systems