HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels